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 /riscv/insns | |
parent | 2a7c33b8b50f91379a12f983dd3c1c7ee9f89a90 (diff) | |
download | spike-1c227a1d3b5802b5bc01ce2dfd4377f35db1800e.zip spike-1c227a1d3b5802b5bc01ce2dfd4377f35db1800e.tar.gz spike-1c227a1d3b5802b5bc01ce2dfd4377f35db1800e.tar.bz2 |
In CI, check that help message prints without error
Diffstat (limited to 'riscv/insns')
0 files changed, 0 insertions, 0 deletions