diff options
Diffstat (limited to 'tools/check-whitespace.sh')
| -rw-r--r-- | tools/check-whitespace.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/check-whitespace.sh b/tools/check-whitespace.sh deleted file mode 100644 index 534833126..000000000 --- a/tools/check-whitespace.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -fail=0 - -if grep -n ' $' "$@" -then - echo "^^^ The above files contain unwanted trailing spaces" - fail=1 -fi - -if grep -n ' ' "$@" -then - echo "^^^ The above files contain tabs" - fail=1 -fi - -exit $fail |