diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 16:56:02 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 16:56:14 -0700 |
| commit | e2c382075e8bef39c9404715a88478e12807ac78 (patch) | |
| tree | fdee62786edbf586f9606f349e194f8d60974be5 /autoconf | |
| parent | 524ea8027e4b5c8c72fa812d06ad8c12e77c33c2 (diff) | |
| download | klee-e2c382075e8bef39c9404715a88478e12807ac78.tar.gz | |
[Travis] Stop building with both Clang and GCC for now, see comment.
Diffstat (limited to 'autoconf')
0 files changed, 0 insertions, 0 deletions