Run 'make check' in CI

3 years ago · 86b3e7851f
1 changed files with 1 additions and 0 deletions
--- 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