Fix gdbtk sanitizations to be silent unless verbose optio is given.

diff --git a/.Sanitize b/.Sanitize
index 38732e81b6e6c4e34002d244881ee5cbe4e89454..8bf6ed4da3b084d739a262bd8f1652a55542ec17 100644 (file)
--- a/.Sanitize
+++ b/.Sanitize
@@ -487,7 +487,9 @@ else
 fi
 
 if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
-       echo Catering to RMS by removing traces of \"gdbtk\"...
+       if [ -n "${verbose}" ] ; then
+               echo Catering to RMS by removing traces of \"gdbtk\"...
+       fi
        for i in * ; do
                if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
                        if [ -n "${verbose}" ] ; then
@@ -496,7 +498,9 @@ if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
                        cp $i new
                        sed '/start\-sanitize\-gdbtk/,/end-\sanitize\-gdbtk/d' < $i > new
                        if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
-                               echo Caching $i in .Recover...
+                               if [ -n "${verbose}" ] ; then
+                                       echo Caching $i in .Recover...
+                               fi
                                mv $i .Recover
                        fi
                        mv new $i
@@ -512,7 +516,9 @@ if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
        fi
        mv new Makefile.in
 else
-       echo Leaving \"gdbtk\" in the sources...
+       if [ -n "${verbose}" ] ; then
+               echo Leaving \"gdbtk\" in the sources...
+       fi
        for i in * ; do
                if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
                        if [ -n "${verbose}" ] ; then
@@ -521,7 +527,9 @@ else
                        cp $i new
                        sed -e '/start\-sanitize\-gdbtk/d' -e '/end\-sanitize\-gdbtk/d' < $i > new
                        if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
-                               echo Caching $i in .Recover...
+                               if [ -n "${verbose}" ] ; then
+                                       echo Caching $i in .Recover...
+                               fi
                                mv $i .Recover
                        fi
                        mv new $i