From 570d5115d86737946e4b7355eca3e9df78de8f63 Mon Sep 17 00:00:00 2001 From: Fred Fish Date: Tue, 27 Jan 1998 18:38:33 +0000 Subject: [PATCH] Fix gdbtk sanitizations to be silent unless verbose optio is given. --- .Sanitize | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/.Sanitize b/.Sanitize index 38732e81b6e..8bf6ed4da3b 100644 --- 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 -- 2.30.2