# HG changeset patch
# User ivo
# Date 1196898119 0
# Node ID de8cc2372b05a936c08b3c2d28ec01433c62fd83
# Parent  5ed3c0a5cf4fc7c405aa61a84948ad952f451c2d
only check source code for gnuisms

diff -r 5ed3c0a5cf4f -r de8cc2372b05 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Wed Dec 05 23:39:01 2007 +0000
+++ b/TOOLS/checktree.sh	Wed Dec 05 23:41:59 2007 +0000
@@ -179,7 +179,7 @@
 
 filelist=`all_filenames`
 
-case "$_stupid$_res$_depr" in
+case "$_stupid$_res$_depr$_gnu" in
     *yes*)
     # generate 'shortlist' to avoid false positives in xpm files, docs, etc,
     # when one only needs to check .c and .h files
@@ -253,9 +253,9 @@
 
 # -----------------------------------------------------------------------------
 
-if [ "$_gnu" = "yes" ]; then
+if [ "$_gnu" = "yes" -a -n "$chfilelist" ]; then
     printhead "checking for GNUisms ..."
-    grep $_grepopts "case.*\.\.\..*:" $filelist
+    grep $_grepopts "case.*\.\.\..*:" $chfilelist
 fi
 
 # -----------------------------------------------------------------------------