diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index c297623..60e375a 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -18,7 +18,7 @@ WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function" | |||
| 18 | SAN="$ADDR $UNDEF" | 18 | SAN="$ADDR $UNDEF" |
| 19 | 19 | ||
| 20 | CFLAGS="$STD $WFLAGS $AVX -O3" | 20 | CFLAGS="$STD $WFLAGS $AVX -O3" |
| 21 | DBGFLAGS="$STD $WFLAGS $AVX -g3 -DDEBUG" | 21 | DBGFLAGS="$STD $WFLAGS $SAN $AVX -g3 -DDEBUG" |
| 22 | 22 | ||
| 23 | echo "Cube type: CUBE_$TYPE" | 23 | echo "Cube type: CUBE_$TYPE" |
| 24 | echo "Compiler: ${CC:-cc}" | 24 | echo "Compiler: ${CC:-cc}" |
