summaryrefslogtreecommitdiff
path: root/.ci
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-11-05 15:26:36 +0100
committerStefan Schmidt <s.schmidt@samsung.com>2019-11-05 16:59:14 +0100
commitdb4d908c06e95b0e8cac0551f40cfcffb3831349 (patch)
treef96fefb16b5dc1dd288f163d8b248e830581baa1 /.ci
parent5ad0f5f7d022e78b8fc3f5a87490ce0621f799d8 (diff)
ci: work around ccache segafult during setup
This is the same fix we applied for the macOS. Somehow ccache segfaults during the init. This only shows on the Ubuntu 19.10 update. Reviewed-by: Marcel Hollerbach <mail@marcel-hollerbach.de> Differential Revision: https://phab.enlightenment.org/D10599
Diffstat (limited to '.ci')
-rwxr-xr-x.ci/docker-ccache-setup.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/docker-ccache-setup.sh b/.ci/docker-ccache-setup.sh
index 748e743bf9..f9c1aa7809 100755
--- a/.ci/docker-ccache-setup.sh
+++ b/.ci/docker-ccache-setup.sh
@@ -7,5 +7,6 @@ cp .ci/ccache.conf ~/.ccache
7if [ "$1" = "release-ready" ] ; then 7if [ "$1" = "release-ready" ] ; then
8 ccache -o base_dir="$(pwd)/$(grep '^PACKAGE_STRING' config.log|cut -d\' -f2|tr ' ' -)" 8 ccache -o base_dir="$(pwd)/$(grep '^PACKAGE_STRING' config.log|cut -d\' -f2|tr ' ' -)"
9else 9else
10 ccache -o base_dir=$(pwd) 10 sed -iE '/^base_dir/d' ~/.ccache/ccache.conf
11 echo "base_dir = $pwd" >> ~/.ccache/ccache.conf
11fi 12fi