diff options
-rwxr-xr-x | ci-tests/test-spike | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci-tests/test-spike b/ci-tests/test-spike index 94ae321..2da04ff 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 |