diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2018-01-10 14:44:04 +0000 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2018-01-10 18:39:09 +0000 |
| commit | 6c523f9f48e64362bb7d191ba54c7c56be5b10c0 (patch) | |
| tree | 1d0b67f32c313ae2db748d33679bc38dc8a3aa15 /other | |
| parent | d6047692a5d54d7a40d38db7fd98fca2eb59de91 (diff) | |
Disable asan, since it seems to break on travis.
But enable it on circle ci, so at least we have one asan build.
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 |