# HG changeset patch
# User ivo
# Date 1185868164 0
# Node ID c0b23a73d5f177d84137e326ff7afd3236219ed3
# Parent  b4a1d0cf4c11e5aec259c0d126689b8386ceb475
10l, forgot to make TAB global

diff -r b4a1d0cf4c11 -r c0b23a73d5f1 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Tue Jul 31 07:45:06 2007 +0000
+++ b/TOOLS/checktree.sh	Tue Jul 31 07:49:24 2007 +0000
@@ -267,6 +267,8 @@
   _grepopts="-l -I"
 fi
 
+TAB=`echo " " | tr ' ' '\011'`
+
 # -----------------------------------------------------------------------------
 
 # DO CHECKS
@@ -297,7 +299,6 @@
 
 if [ "$_tabs" = "yes" ]; then
     printhead "checking for TAB characters ..."
-    TAB=`echo " " | tr ' ' '\011'`
     grep $_grepopts "$TAB" $filelist
 fi