diff options
Diffstat (limited to 'ci/lib-travisci.sh')
| -rwxr-xr-x | ci/lib-travisci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh index 1efee55ef7..06970f7213 100755 --- a/ci/lib-travisci.sh +++ b/ci/lib-travisci.sh @@ -97,8 +97,11 @@ fi export DEVELOPER=1 export DEFAULT_TEST_TARGET=prove export GIT_PROVE_OPTS="--timer --jobs 3 --state=failed,slow,save" -export GIT_TEST_OPTS="--verbose-log" +export GIT_TEST_OPTS="--verbose-log -x --immediate" export GIT_TEST_CLONE_2GB=YesPlease +if [ "$jobname" = linux-gcc ]; then + export CC=gcc-8 +fi case "$jobname" in linux-clang|linux-gcc) |