summaryrefslogtreecommitdiff
path: root/other
diff options
context:
space:
mode:
Diffstat (limited to 'other')
-rw-r--r--other/travis/env-linux.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh
index 4615016e..b3292098 100644
--- a/other/travis/env-linux.sh
+++ b/other/travis/env-linux.sh
@@ -5,6 +5,9 @@ export PATH=$HOME/.cabal/bin:$PATH
5 5
6CMAKE=cmake 6CMAKE=cmake
7CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DFORMAT_TEST=ON" 7CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DFORMAT_TEST=ON"
8# Asan is disabled because it's currently broken on Travis.
9# See https://github.com/travis-ci/travis-ci/issues/9033.
10CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DASAN=OFF"
8NPROC=`nproc` 11NPROC=`nproc`
9CURDIR=$PWD 12CURDIR=$PWD
10RUN_TESTS=true 13RUN_TESTS=true