diff options
| author | Stefan Schmidt <s.schmidt@samsung.com> | 2019-11-05 15:26:36 +0100 |
|---|---|---|
| committer | Mike Blumenkrantz <zmike@samsung.com> | 2019-11-27 09:42:53 -0500 |
| commit | 38b011fb2f73d3efd423125aac75502944caeccf (patch) | |
| tree | 8967076c21e231f9b19e520a9c8adec6580b5bd8 | |
| parent | 626f3cfe515d1611b637d3b57294bf20eefa9b48 (diff) | |
| download | efl-38b011fb2f73d3efd423125aac75502944caeccf.tar.gz | |
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.sh | 3 |
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 if [ "$1" = "release-ready" ] ; then ccache -o base_dir="$(pwd)/$(grep '^PACKAGE_STRING' config.log|cut -d\' -f2|tr ' ' -)" else - ccache -o base_dir=$(pwd) + sed -iE '/^base_dir/d' ~/.ccache/ccache.conf + echo "base_dir = $pwd" >> ~/.ccache/ccache.conf fi |