diff options
author | Andrew Waterman <andrew@sifive.com> | 2023-06-17 16:54:31 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2023-06-17 18:48:01 -0700 |
commit | 86b3e7851f6b0dacb17f61cd8ee77f8fc1a103b6 (patch) | |
tree | ff5f2057bba7eef377c27acb7481f396c6a1cde6 /ci-tests/build-spike | |
parent | 057cfbcca6dc6c65f1fd69b754e499ccabebe273 (diff) | |
download | spike-86b3e7851f6b0dacb17f61cd8ee77f8fc1a103b6.zip spike-86b3e7851f6b0dacb17f61cd8ee77f8fc1a103b6.tar.gz spike-86b3e7851f6b0dacb17f61cd8ee77f8fc1a103b6.tar.bz2 |
Run 'make check' in CI
Diffstat (limited to 'ci-tests/build-spike')
-rwxr-xr-x | ci-tests/build-spike | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci-tests/build-spike b/ci-tests/build-spike index 9c3fb37..058defd 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 |