diff --git a/jenkins/Jenkinsfile.production-stdb-module-build b/jenkins/Jenkinsfile.production-stdb-module-build index a5d5812c..6a409e9e 100644 --- a/jenkins/Jenkinsfile.production-stdb-module-build +++ b/jenkins/Jenkinsfile.production-stdb-module-build @@ -81,9 +81,9 @@ pipeline { } $bashScript = @" set -euo pipefail - export CARGO_HOME="`$(cygpath -u '$($env:CARGO_HOME)')" - export CARGO_TARGET_DIR="`$(cygpath -u '$($env:CARGO_TARGET_DIR)')" - export SCCACHE_DIR="`$(cygpath -u '$($env:SCCACHE_DIR)')" + export CARGO_HOME='$($env:CARGO_HOME)' + export CARGO_TARGET_DIR='$($env:CARGO_TARGET_DIR)' + export SCCACHE_DIR='$($env:SCCACHE_DIR)' export CARGO_INCREMENTAL='$($env:CARGO_INCREMENTAL)' export RUSTC_WRAPPER='$($env:RUSTC_WRAPPER)' export SCCACHE_CACHE_SIZE='$($env:SCCACHE_CACHE_SIZE)'