Merge branch 'master' into Harshil-GSOC

amadio · Jun 25, 2022 · 08a79e9 · 08a79e9
2 parents 55df314 + 05dbfd0
commit 08a79e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci/jenkins.sh b/ci/jenkins.sh
@@ -13,7 +13,7 @@ set -ex
 
 export CCACHE_DIR CCACHE_BASEDIR CCACHE_HASHDIR
 
-: ${CC:=cc} ${CXX:=c++} ${CXXSTD:=17}
+: ${CC:=/usr/bin/cc} ${CXX:=/usr/bin/c++} ${CXXSTD:=17}
 : ${CXXFLAGS:=-O2 -DNDEBUG -march=native -fno-omit-frame-pointer -g -pipe}
 
 if [[ ! -d ${REPOSITORY} ]]; then
@@ -129,7 +129,7 @@ done
 
 for VERSION in ${GIT_PREVIOUS_COMMIT} ${GIT_COMMIT}; do
 	SHA=$(git -C ${REPOSITORY} rev-parse --short $VERSION)
-	SOURCE_DIR=${WORKSPACE}/geant4-${SHA}
+	SOURCE_DIR=${WORKSPACE}/src/geant4-${SHA}
 	git -C ${REPOSITORY} worktree remove ${SOURCE_DIR}
 done