diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-04-13 11:52:05 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-04-23 21:47:28 -0400 |
commit | 005a29f23423782660703cdc6b9330b5fc9eeff2 (patch) | |
tree | f49b99589ff6b84dda17e8f7bf106180d9fb9c72 /tools | |
parent | e17e5ba9bff633b5f2b6e9950b3bb64b59079c74 (diff) | |
download | systemd-005a29f23423782660703cdc6b9330b5fc9eeff2.tar.gz |
meson: recreate dist-check-help
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/meson-check-help.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/meson-check-help.sh b/tools/meson-check-help.sh new file mode 100755 index 0000000000..2f7ba3978d --- /dev/null +++ b/tools/meson-check-help.sh @@ -0,0 +1,20 @@ +#!/bin/sh -e + +# output width +if "$1" --help | grep -v 'default:' | grep -E -q '.{80}.'; then + echo "$(basename "$1") --help output is too wide:" + "$1" --help | awk 'length > 80' | grep -E --color=yes '.{80}' + exit 1 +fi + +# no --help output to stdout +if "$1" --help 2>&1 1>/dev/null | grep .; then + echo "$(basename "$1") --help prints to stderr" + exit 2 +fi + +# error output to stderr +if ! "$1" --no-such-parameter 2>&1 1>/dev/null | grep -q .; then + echo "$(basename "$1") with an unknown parameter does not print to stderr" + exit 3 +fi |