diff options
| author | Mitya Selivanov <automainint@guattari.tech> | 2023-09-29 12:12:08 +0200 |
|---|---|---|
| committer | Mitya Selivanov <automainint@guattari.tech> | 2023-09-29 12:12:08 +0200 |
| commit | 262d062e1c77d201a0e76d4bc615541a3dc87aeb (patch) | |
| tree | 40396764f29358992bb0c37a6e707f08dfc36c3f /build_and_test.sh | |
| parent | 97ee833f60fd378e519421d17458ea743904e96b (diff) | |
| download | saw-262d062e1c77d201a0e76d4bc615541a3dc87aeb.zip | |
UI: Instrument settings
Diffstat (limited to 'build_and_test.sh')
| -rw-r--r-- | build_and_test.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_and_test.sh b/build_and_test.sh index 0b40374..3ec7361 100644 --- a/build_and_test.sh +++ b/build_and_test.sh @@ -92,7 +92,7 @@ esac if [ "$COMPILE" = "gcc" ] || [ "$COMPILE" = "clang" ]; then if [ "$1" = "release" ]; then - FLAGS="-O3" + FLAGS="-O3 -DNDEBUG" elif [ "$COMPILE" = "gcc" ] && [ "$OS" != "Windows" ]; then FLAGS="-O0 -fsanitize=undefined,address,leak" elif [ "$OS" != "Windows" ]; then @@ -102,7 +102,7 @@ if [ "$COMPILE" = "gcc" ] || [ "$COMPILE" = "clang" ]; then fi else if [ "$1" = "release" ]; then - FLAGS="-O2" + FLAGS="-O2 -DNDEBUG" else FLAGS="-Od" fi |