diff options
| author | Stefan Schmidt <s.schmidt@samsung.com> | 2019-11-05 15:26:36 +0100 |
|---|---|---|
| committer | Stefan Schmidt <s.schmidt@samsung.com> | 2019-11-05 16:59:14 +0100 |
| commit | db4d908c06e95b0e8cac0551f40cfcffb3831349 (patch) | |
| tree | f96fefb16b5dc1dd288f163d8b248e830581baa1 /.ci | |
| parent | 5ad0f5f7d022e78b8fc3f5a87490ce0621f799d8 (diff) | |
| download | efl-db4d908c06e95b0e8cac0551f40cfcffb3831349.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
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 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 |