diff options
| author | Andrew Waterman <andrew@sifive.com> | 2022-09-23 12:40:46 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2022-09-23 12:48:52 -0700 |
| commit | 1c227a1d3b5802b5bc01ce2dfd4377f35db1800e (patch) | |
| tree | 1b58cfeac411abaaa9b495d8d9ab18b08c92a17c /ci-tests | |
| parent | 2a7c33b8b50f91379a12f983dd3c1c7ee9f89a90 (diff) | |
| download | riscv-isa-sim-1c227a1d3b5802b5bc01ce2dfd4377f35db1800e.zip riscv-isa-sim-1c227a1d3b5802b5bc01ce2dfd4377f35db1800e.tar.gz riscv-isa-sim-1c227a1d3b5802b5bc01ce2dfd4377f35db1800e.tar.bz2 | |
In CI, check that help message prints without error
Diffstat (limited to 'ci-tests')
| -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 |