diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-01-17 10:45:49 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-01-17 10:45:49 +0100 |
| commit | 2f6dafae68e88f6a16f6df42e0b212767e95aebe (patch) | |
| tree | 2fc5cea5c20d653e5b50981ca764849394d81e23 /Makefile.rules | |
| parent | b64b96f721edc32bb806ef182f8097053585685d (diff) | |
| download | klee-2f6dafae68e88f6a16f6df42e0b212767e95aebe.tar.gz | |
Fix error message for failing linking of libraries
In case linking of external libraries failed, user would only be informed if KLEE is compiled with assertions enabled. This fix lets KLEE always fail.
Diffstat (limited to 'Makefile.rules')
0 files changed, 0 insertions, 0 deletions