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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions