Enable many more warnings in CI

1 year ago · 7e80f118e8
1 changed files with 1 additions and 1 deletions
--- a/ci-tests/build-spike
+++ b/ci-tests/build-spike
@ -8,7 +8,7 @@ rm -rf build
 mkdir build
 cd build
 mkdir install
-CXXFLAGS="-Wnon-virtual-dtor" CFLAGS="-Werror -Wignored-qualifiers -Wunused-function -Wunused-parameter -Wunused-variable" $DIR/../configure --prefix=`pwd`/install
+CXXFLAGS="-Wnon-virtual-dtor" CFLAGS="-Werror -Wall -Wextra -Wvla" $DIR/../configure --prefix=`pwd`/install
 make -j"$(nproc 2> /dev/null || sysctl -n hw.ncpu)"
 make check
 make install install-hdrs-list.h