diff options
| -rw-r--r-- | build_and_test.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/build_and_test.sh b/build_and_test.sh index 8b4cdef..c61a04f 100644 --- a/build_and_test.sh +++ b/build_and_test.sh @@ -58,10 +58,12 @@ esac echo "" if [ "$COMPILE" = "gcc" ] || [ "$COMPILE" = "clang" ]; then - if [ "$1" = "release" ]; then + if [ "$1" = "release" ]; then FLAGS="-O3" - else + elif [ "$COMPILE" = "gcc" ]; then FLAGS="-O0 -fsanitize=undefined,address,leak" + else + FLAGS="-O0 -fsanitize=undefined,address" fi else if [ "$1" = "release" ]; then |