diff --git a/ci-tests/test-spike b/ci-tests/test-spike index 94ae321767..2da04fff3f 100755 --- a/ci-tests/test-spike +++ b/ci-tests/test-spike @@ -9,3 +9,6 @@ mkdir install CFLAGS="-Werror" $DIR/../configure --prefix=`pwd`/install make -j4 make install + +# check that help message prints without error +install/bin/spike -h