diff options
-rwxr-xr-x | scripts/test.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/test.sh b/scripts/test.sh index 2c8872ce4..b70e3c0f4 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -11,6 +11,8 @@ TARGET=check DEPS="libgmp-dev" +CFLAGS="-g -O2 -Wall -Wno-format -Wno-format-security -Wno-pointer-sign -Werror" + case "$TEST" in default) # should be the default, but lets make sure @@ -69,4 +71,4 @@ CONFIG="$CONFIG --enable-leak-detective=${LEAK_DETECTIVE-no}" echo "$ ./configure $CONFIG && make $TARGET" -./configure $CONFIG && make -j4 $TARGET +CFLAGS="$CFLAGS" ./configure $CONFIG && make -j4 $TARGET |