diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-02-22 22:30:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-22 22:30:52 +0100 |
| commit | 1b543ac16dd61ac6e1f8f00fee28156234c7e73f (patch) | |
| tree | bc71b85ce87ef4b402acfe006674a68af096968a | |
| parent | 69231581e4f2d78384d3efe6f613be1b78e9d40f (diff) | |
CI/Circle CI: Reduce ccache size from 5G to 1G
This should speedup Circle CI cache saving and in turn no-pch build
| -rw-r--r-- | .circleci/config.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 29ab6f5dcec..2966dbbaffc 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -62,13 +62,14 @@ jobs: - run: name: Setup command: | - ccache -s - git config user.email "circleci@build.bot" && git config user.name "Circl CI" + export CCACHE_MAXSIZE="1G" export CC="ccache clang" export CXX="ccache clang++" export CCACHE_CPP2=yes export USE_CCACHE=1 export PATH=/usr/lib/ccache:$PATH + ccache -s + git config user.email "circleci@build.bot" && git config user.name "Circle CI" $CXX --version mkdir bin cd bin |