diff --git a/ci-tests/test-spike b/ci-tests/test-spike index fa9bbdd8..cd3fccc2 100755 --- a/ci-tests/test-spike +++ b/ci-tests/test-spike @@ -6,7 +6,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" mkdir build cd build mkdir install -CFLAGS="-Werror" $DIR/../configure --prefix=`pwd`/install +CFLAGS="-Werror -Wignored-qualifiers -Wunused-function -Wunused-parameter -Wunused-variable" $DIR/../configure --prefix=`pwd`/install make -j4 make install