diff --git a/Jenkinsfile b/Jenkinsfile index 3c5b761..5bca249 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -22,6 +22,7 @@ pipeline { steps { sh ''' export CARGO_HOME="$(pwd)/.cargo" + export CC="$TARGET_CC" printenv | sort cargo build \ --release