diff --git a/ci-tests/build-spike b/ci-tests/build-spike index 9c3fb373..058defdf 100755 --- a/ci-tests/build-spike +++ b/ci-tests/build-spike @@ -10,6 +10,7 @@ cd build mkdir install CXXFLAGS="-Wnon-virtual-dtor" CFLAGS="-Werror -Wignored-qualifiers -Wunused-function -Wunused-parameter -Wunused-variable" $DIR/../configure --prefix=`pwd`/install make -j"$(nproc 2> /dev/null || sysctl -n hw.ncpu)" +make check make install # check that help message prints without error