diff options
Diffstat (limited to 'jenkins-helpers.sh')
| -rw-r--r-- | jenkins-helpers.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index f862a4ab..2b089799 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -817,17 +817,17 @@ print_volume_mounts () # Add ccache volume for tcwg_* jobs. # These jobs depend on ccache for fast rebuilds of LLVM and GCC with # the host compiler. - # tcwg_* jobs use per-executor WORKSPACES, and ccache uses separate - # cache entries for different paths. Therefore we need to use - # separate caches for different $WORKSPACES. Otherwise we get - # a lot of cache polution on high-executor machines, e.g., for - # tcwg_bmk builds on tcwg-x86_64-dev-01 node. local prefix if [ x"${WORKSPACE+set}" = x"set" ]; then prefix=$(basename $WORKSPACE) else prefix=$(echo $job | cut -d- -f 1) fi + # tcwg_* jobs use per-executor WORKSPACES, and we configure ccache + # to use CCACHE_BASEDIR=$WORKSPACE so that ccache sees same paths + # for builds on different executors. + # Strip "_$EXECUTOR_NUMBER" from the job/workspace ID. + prefix="${prefix%_[0-9]*}" volume_id=$(print_docker_name "$prefix$suffix") mounts+=(ccache-"$volume_id":"$HOME"/.ccache) ;; |