diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2017-12-12 14:53:19 +0100 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2017-12-12 22:54:36 +0100 |
commit | f48c4fb256438e7928d6fdb17c43ff14a22c725d (patch) | |
tree | a59b32d467fa0c636b7fe707536d4d0352414eab /travis | |
parent | aa4be0446a434c82ebb1e452eb2dcdb3c20c2a9a (diff) |
use-devtoolset-7
Diffstat (limited to 'travis')
-rwxr-xr-x | travis/travis-build-full.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis/travis-build-full.sh b/travis/travis-build-full.sh index fc0efb843aa..53e174b534b 100755 --- a/travis/travis-build-full.sh +++ b/travis/travis-build-full.sh @@ -6,7 +6,7 @@ export SOURCE_DIR=/source export NUM_THREADS=6 export MALLOC_ARENA_MAX=1 export MAVEN_OPTS="-Xms128m -Xmx2g" -source /etc/profile.d/devtoolset-6.sh || true +source /etc/profile.d/devtoolset-7.sh || true ccache --max-size=1250M ccache --set-config=compression=true |