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" } } }