4 /bin
/sh
"${top_srcdir}"/tools
/check-whitespace.sh
"$@" || fail
=$?
6 # at the moment we're not actually checking much C style here... to be added
8 if test -n "$CHECK_FOR_LONG_LINES"
10 if egrep -n '.{80,}' "$@"
12 echo "^^^ The above files contain long lines"