diff options
| author | Fred Fish <fnf@specifix.com> | 1998-01-27 18:38:33 +0000 |
|---|---|---|
| committer | Fred Fish <fnf@specifix.com> | 1998-01-27 18:38:33 +0000 |
| commit | 570d5115d86737946e4b7355eca3e9df78de8f63 (patch) | |
| tree | c5978085e1a43c9a47cec941f0c9ea7a3dcdb5e1 | |
| parent | 6cc7a9382864aaf391e0047b41ce34aa62d9d337 (diff) | |
| download | gdb-570d5115d86737946e4b7355eca3e9df78de8f63.zip gdb-570d5115d86737946e4b7355eca3e9df78de8f63.tar.gz gdb-570d5115d86737946e4b7355eca3e9df78de8f63.tar.bz2 | |
Fix gdbtk sanitizations to be silent unless verbose optio is given.
| -rw-r--r-- | .Sanitize | 16 |
1 files changed, 12 insertions, 4 deletions
@@ -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 |