diff options
author | Mitya Selivanov <automainint@guattari.tech> | 2023-09-05 09:33:59 +0200 |
---|---|---|
committer | Mitya Selivanov <automainint@guattari.tech> | 2023-09-05 09:33:59 +0200 |
commit | ff702b9b4c788aa6bf890ddc35c18f83cfbbca81 (patch) | |
tree | 3c89c4f0c52372874d438b1d995cb45540ecff18 | |
parent | 47d474b6d301c530f48ca584fdcfae5e4ef3a004 (diff) | |
download | kit-ff702b9b4c788aa6bf890ddc35c18f83cfbbca81.zip |
test
-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 |