diff options
Diffstat (limited to '.ci')
| -rwxr-xr-x | .ci/docker-ccache-setup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/docker-ccache-setup.sh b/.ci/docker-ccache-setup.sh index f9c1aa7809..caba08ac81 100755 --- a/.ci/docker-ccache-setup.sh +++ b/.ci/docker-ccache-setup.sh @@ -5,7 +5,8 @@ CI_BUILD_TYPE="$1" cp .ci/ccache.conf ~/.ccache if [ "$1" = "release-ready" ] ; then - ccache -o base_dir="$(pwd)/$(grep '^PACKAGE_STRING' config.log|cut -d\' -f2|tr ' ' -)" + sed -iE '/^base_dir/d' ~/.ccache/ccache.conf + echo "base_dir = $(pwd)/$(grep '^PACKAGE_STRING' config.log|cut -d\' -f2|tr ' ' -)" >> ~/.ccache/ccache.conf else sed -iE '/^base_dir/d' ~/.ccache/ccache.conf echo "base_dir = $pwd" >> ~/.ccache/ccache.conf |