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