diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 2011-08-31 20:43:11 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 2011-08-31 20:43:11 +0000 |
commit | dbe98a8843b740df4697642e75b3d3eca5ea6dc4 (patch) | |
tree | d43980e16f12821c7cb69c0ba0278316b1f9305c /merge-helpers/check_submission | |
parent | ab5e450eb2ade2f97e094476d669a021a84887d8 (diff) |
2011-08-31 Joel Sherrill <joel.sherrill@oarcorp.com>
* check_submission: Check for tabs in source files.
Diffstat (limited to 'merge-helpers/check_submission')
-rwxr-xr-x | merge-helpers/check_submission | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/merge-helpers/check_submission b/merge-helpers/check_submission index 2624387..5f2e391 100755 --- a/merge-helpers/check_submission +++ b/merge-helpers/check_submission @@ -179,6 +179,17 @@ do test $? -eq 0 && echo "$f has spaces at the end of one or more lines." done +# We do not want tabs in source files +echo "=== Checking for tabs in source files" +find_source | while read f +do + grep -P '\t' $f >/dev/null + if [ $? -eq 0 ]; then + echo "*** ${basedir}/${f} has the following lines with tabs" + grep -P '\t' $f + fi +done + # We do not want GPL code echo "=== Checking for hints of GPL code" find_source -m -c -C | while read f |