diff options
Diffstat (limited to 'tools/check-help.sh')
| -rwxr-xr-x | tools/check-help.sh | 6 |
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 |