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