1 files changed, 6 insertions, 0 deletions
diff --git a/tools/check-help.sh b/tools/check-help.sh
index 19ec941469..f97429364e 100755
--- a/tools/check-help.sh
+++ b/tools/check-help.sh
@@ -39,3 +39,9 @@ if ! ("$BINARY" --no-such-parameter 2>&1 1>/dev/null || :) | grep . >/dev/null;
     echo "$(basename "$BINARY") with an unknown parameter does not print to stderr"
     exit 4
 fi
+
+# --help and -h are equivalent
+if ! diff <("$BINARY" -h) <("$BINARY" --help); then
+    echo "$(basename "$BINARY") --help and -h are not identical"
+    exit 5
+fi