diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-12-17 14:38:43 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-18 12:37:47 +0000 |
| commit | a9184832f238d1753667173a113bae7a5cfbe159 (patch) | |
| tree | 6b5ef5689d37888c03c146b852c671f83c3eb98d /tools/klee-replay | |
| parent | 1a2e56fbf683a480459261c198fe6fa8085f2523 (diff) | |
| download | klee-a9184832f238d1753667173a113bae7a5cfbe159.tar.gz | |
fix cflags for runtime build types
- `-DNDebug` -> `-DNDEBUG`
- different flags for `Release{+Debug,}+Asserts`
- `-g` is no longer part of common flags
- `-D_DEBUG` is now only set for debug builds
- removed unused `LIB_BC_FLAGS_{32,64}`
- added example, architecture prefix for specific flags
Diffstat (limited to 'tools/klee-replay')
0 files changed, 0 insertions, 0 deletions