diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 11:16:39 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 191dab872c56da0933a13db37df8a446d7bda233 (patch) | |
| tree | 8696958471fb3887c4bf6b545e967b4508b66a50 /.travis.yml | |
| parent | 9a34b5a962f08e02d16078be4bdc7458d816573f (diff) | |
| download | klee-191dab872c56da0933a13db37df8a446d7bda233.tar.gz | |
Disable libc++ for LLVM 3.8 Travis CI target
The build support for libc++ for LLVM 3.8 is broken. It's not worth fixing.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 93af730b..10762d59 100644 --- a/.travis.yml +++ b/.travis.yml @@ -77,7 +77,7 @@ jobs: env: LLVM_VERSION=3.9 - name: "LLVM 3.8" - env: LLVM_VERSION=3.8 + env: LLVM_VERSION=3.8 USE_LIBCXX=0 # Sanitizer builds. Do unoptimized build otherwise the optimizer might remove problematic code - name: "ASan" |