From 1c227a1d3b5802b5bc01ce2dfd4377f35db1800e Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Fri, 23 Sep 2022 12:40:46 -0700
Subject: [PATCH] In CI, check that help message prints without error

---
 ci-tests/test-spike | 3 +++
 1 file changed, 3 insertions(+)

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