diff options
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 |