From de099a44ac10bc94d9fd788a839597a6e5fb3212 Mon Sep 17 00:00:00 2001
From: Nils Andreas Svee <me@lochnair.net>
Date: Sun, 27 Nov 2022 21:59:50 +0100
Subject: [PATCH] jenkinsfile: enable uci

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 22cfe97..24508d6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -87,7 +87,7 @@ pipeline {
 					stage('Build') {
 						steps {
 							withEnv(["${LINKER_ENV_KEY}=${CC}", "RUSTFLAGS=-C target-feature=+crt-static"]) {
-								sh "cargo build --release --target ${TARGET}"
+								sh "cargo build --release --target ${TARGET} --features uci"
 							}
 						}
 					}