summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-11-05 15:26:36 +0100
committerMike Blumenkrantz <zmike@samsung.com>2019-11-27 09:42:53 -0500
commit38b011fb2f73d3efd423125aac75502944caeccf (patch)
tree8967076c21e231f9b19e520a9c8adec6580b5bd8
parent626f3cfe515d1611b637d3b57294bf20eefa9b48 (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
-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