changeset 23235:0e8285c7b2fa

test for tab characters
author ivo
date Mon, 07 May 2007 17:34:31 +0000
parents 6384d4d97bb0
children f0ddd02aec27
files TOOLS/checktree.sh
diffstat 1 files changed, 18 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/checktree.sh	Mon May 07 17:32:01 2007 +0000
+++ b/TOOLS/checktree.sh	Mon May 07 17:34:31 2007 +0000
@@ -19,6 +19,7 @@
 _spaces=yes
 _extensions=yes
 _crlf=yes
+_tabs=no
 _trailws=no
 _rcsid=no
 _oll=no
@@ -45,6 +46,7 @@
     _spaces=yes
     _extensions=yes
     _crlf=yes
+    _tabs=yes
     _trailws=yes
     _rcsid=yes
     _oll=yes
@@ -56,6 +58,7 @@
     _spaces=no
     _extensions=no
     _crlf=no
+    _tabs=no
     _trailws=no
     _rcsid=no
     _oll=no
@@ -96,6 +99,7 @@
         printoption "spaces    " "test for spaces in filenames" "$_spaces"
         printoption "extensions" "test for uppercase extensions" "$_extensions"
         printoption "crlf      " "test for MSDOS line endings" "$_crlf"
+        printoption "tabs      " "test for tab characters" "$_tabs"
         printoption "trailws   " "test for trailing whitespace" "$_trailws"
         printoption "rcsid     " "test for missing RCS Id's" "$_rcsid"
         printoption "oll       " "test for overly long lines" "$_oll"
@@ -170,6 +174,12 @@
     -nocrlf)
         _crlf=no
         ;;
+    -tabs)
+        _tabs=yes
+        ;;
+    -notabs)
+        _tabs=no
+        ;;
     -trailws)
         _trailws=yes
         ;;
@@ -259,6 +269,14 @@
 
 # -----------------------------------------------------------------------------
 
+if [ "$_tabs" = "yes" ]; then
+    printhead "checking for TAB characters ..."
+    TAB=`echo " " | tr ' ' '\011'`
+    grep $_grepopts "$TAB" $filelist
+fi
+
+# -----------------------------------------------------------------------------
+
 if [ "$_trailws" = "yes" ]; then
     printhead "checking for trailing whitespace ..."
     grep $_grepopts "[[:space:]]\+$" $filelist