diff options
Diffstat (limited to '.ci')
-rwxr-xr-x | .ci/ci-setup-ccache.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ci/ci-setup-ccache.sh b/.ci/ci-setup-ccache.sh index f93b64f847..ab7d3b8613 100755 --- a/.ci/ci-setup-ccache.sh +++ b/.ci/ci-setup-ccache.sh | |||
@@ -7,6 +7,7 @@ if [ "$DISTRO" != "" ] ; then | |||
7 | docker exec $(cat $HOME/cid) ccache -pz | 7 | docker exec $(cat $HOME/cid) ccache -pz |
8 | else | 8 | else |
9 | cp .ci/ccache.conf ~/.ccache | 9 | cp .ci/ccache.conf ~/.ccache |
10 | sed -iE '/^base_dir/d' ~/.ccache/ccache.conf | ||
10 | echo "base_dir = $pwd" >> ~/.ccache/ccache.conf | 11 | echo "base_dir = $pwd" >> ~/.ccache/ccache.conf |
11 | ccache -pz | 12 | ccache -pz |
12 | fi | 13 | fi |