From 7e80f118e833abd6f9eac40152f75a5264f5c420 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Wed, 16 Apr 2025 16:41:18 -0700 Subject: [PATCH] Enable many more warnings in CI --- ci-tests/build-spike | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci-tests/build-spike b/ci-tests/build-spike index 8774b5e1..0a1b3159 100755 --- 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