diff TOOLS/checktree.sh @ 25283:de8cc2372b05

only check source code for gnuisms
author ivo
date Wed, 05 Dec 2007 23:41:59 +0000
parents 5ed3c0a5cf4f
children e60a367eb80e
line wrap: on
line diff
--- 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
 
 # -----------------------------------------------------------------------------