diff --git a/configure b/configure index f1dac0660..baed36e91 100755 --- a/configure +++ b/configure @@ -165,10 +165,7 @@ set_defaults() fi fi if [ "$UBSAN" != 0 ]; then - CSANFLAGS="$CSANFLAGS -fsanitize=undefined" - if [ "$DEBUGBUILD" != 0 ]; then - CSANFLAGS="$CSANFLAGS -fno-sanitize-recover=undefined" - fi + CSANFLAGS="$CSANFLAGS -fsanitize=undefined -fno-sanitize-recover=undefined" fi if [ "$FUZZING" != 0 ]; then FUZZFLAGS="-fsanitize=fuzzer-no-link -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION"