diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-20 18:31:35 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 11:50:41 +0000 |
| commit | 5454dd510f7414989440988c3df85d9bef6852c2 (patch) | |
| tree | a57dc8a710615ef760339deb45ed34ab554eb531 /test/Makefile | |
| parent | 1ffef7b5a0bf78bd4b4a31c626f20e150229d814 (diff) | |
| download | klee-5454dd510f7414989440988c3df85d9bef6852c2.tar.gz | |
Fix the Autoconf/Makefile build system when building with coverage
flags. The old build system stupidly propagates flags for the host C compiler into the flags for the C bitcode compiler leading to unwanted instrumentation being added to KLEE's runtime.
Diffstat (limited to 'test/Makefile')
0 files changed, 0 insertions, 0 deletions