diff options
Diffstat (limited to 'other')
-rw-r--r-- | other/travis/env-linux.sh | 3 |
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 | ||
6 | CMAKE=cmake | 6 | CMAKE=cmake |
7 | CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DFORMAT_TEST=ON" | 7 | CMAKE_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. | ||
10 | CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DASAN=OFF" | ||
8 | NPROC=`nproc` | 11 | NPROC=`nproc` |
9 | CURDIR=$PWD | 12 | CURDIR=$PWD |
10 | RUN_TESTS=true | 13 | RUN_TESTS=true |