diff options
Diffstat (limited to 'scripts/build/check--help')
| -rwxr-xr-x | scripts/build/check--help | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/scripts/build/check--help b/scripts/build/check--help new file mode 100755 index 0000000..1524675 --- /dev/null +++ b/scripts/build/check--help @@ -0,0 +1,22 @@ +#! /bin/sh + +# Look at the file specified in $1 to see if it contains 'no --help'. +# If it does: +# - Squawk +# - rename the file to ($1)- +# - exit with a non-zero status. +# otherwise: +# - exit with a 0 status. + +if test ! -f $1 +then + echo "$0: $1 is not a regular file!" 2>&3 + exit 1 +fi + +if grep -q 'no --help' $1 +then + echo "$0: $1 contains 'no --help'!" 2>&3 + mv ${1} ${1}- + exit 1 +fi |