7eb72b6346
Everyhing ignored by git should also be ignored by the whitespace linter, so this prevents having to duplicate this list of files. If we need the whitespace linter to ignore files outside of .gitignore in the future that should be easy to add. Change-Id: I096e5cee7f1874f9db85c2f76ad2f0c709decf50
9 lines
92 B
Bash
9 lines
92 B
Bash
#!/usr/bin/env bash
|
|
set -x
|
|
|
|
RES=$(git grep -E -l " +$")
|
|
|
|
if [[ -n $RES ]]; then
|
|
exit 1
|
|
fi
|