# HG changeset patch
# User wanderer
# Date 1133979118 0
# Node ID 80d3fdcf58a8a9b2e326f55844cdd862f73a0718
# Parent  c06bd50808ed1bc2f36c584ca39ba979ea406eb3
option to show the lines containing anomalies, patch by Ivo van Poorten

diff -r c06bd50808ed -r 80d3fdcf58a8 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Wed Dec 07 16:14:46 2005 +0000
+++ b/TOOLS/checktree.sh	Wed Dec 07 18:11:58 2005 +0000
@@ -22,6 +22,7 @@
 _trailws=no
 _rcsid=no
 _oll=no
+_showcont=no
 
 _color=yes
 _head=yes
@@ -103,6 +104,9 @@
         echo
         printoption "all       " "enable all tests" "no"
         echo
+        printoption "showcont  " "show offending content of file(s)" \
+                                                                    "$_showcont"
+        echo
         printoption "color     " "colored output" "$_color"
         printoption "head      " "print heading for each test" "$_head"
         printoption "cvs       " "use CVS/ to determine which files to check" \
@@ -174,6 +178,12 @@
     -none)
         disable_all_tests
         ;;
+    -showcont)
+        _showcont=yes
+        ;;
+    -noshowcont)
+        _showcont=no
+        ;;
     -*)
         echo "unknown option: $i" >&2
         exit 0
@@ -222,15 +232,24 @@
 
 if [ "$_crlf" == "yes" ]; then
     printhead "checking for MSDOS line endings ..."
+    if [ "$_showcont" == "yes" ]; then
+        grep -n -I "
+" $filelist
+    else
     grep -l -I "
 " $filelist
+    fi
 fi
 
 # -----------------------------------------------------------------------------
 
 if [ "$_trailws" == "yes" ]; then
     printhead "checking for trailing whitespace ..."
+    if [ "$_showcont" == "yes" ]; then
+        grep -n -I "[[:space:]]\+$" $filelist
+    else
     grep -l -I "[[:space:]]\+$" $filelist
+    fi
 fi
 
 # -----------------------------------------------------------------------------
@@ -244,7 +263,11 @@
 
 if [ "$_oll" == "yes" ]; then
     printhead "checking for overly long lines (over 79 characters) ..."
+    if [ "$_showcont" == "yes" ]; then
+        grep -n -I "^[[:print:]]\{80,\}$" $filelist
+    else
     grep -l -I "^[[:print:]]\{80,\}$" $filelist
+    fi
 fi
 
 # -----------------------------------------------------------------------------