diff options
| author | K. Richard Pixley <rich@cygnus> | 1993-05-27 03:22:48 +0000 |
|---|---|---|
| committer | K. Richard Pixley <rich@cygnus> | 1993-05-27 03:22:48 +0000 |
| commit | 7b85349fe85f22b96495ef7eff04c6e5b28c3d66 (patch) | |
| tree | 93e275cc17af762cd950f1de1b088da4c2c5a408 /include/elf | |
| parent | 4447efa217407344b433f0e056047e4782aede3f (diff) | |
| download | gdb-7b85349fe85f22b96495ef7eff04c6e5b28c3d66.zip gdb-7b85349fe85f22b96495ef7eff04c6e5b28c3d66.tar.gz gdb-7b85349fe85f22b96495ef7eff04c6e5b28c3d66.tar.bz2 | |
honor verbose flag
Diffstat (limited to 'include/elf')
| -rw-r--r-- | include/elf/.Sanitize | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index 11b6cd4..a4ced8f 100644 --- a/include/elf/.Sanitize +++ b/include/elf/.Sanitize @@ -36,11 +36,21 @@ Do-last: v9dirty="common.h" +if ( echo $* | egrep verbose > /dev/null ) ; then + verbose=true +else + verbose= +fi + if ( echo $* | grep keep\-v9 > /dev/null ) ; then - echo Keeping v9 in ${v9dirty} + if [ -n "${verbose}" ] ; then + echo Keeping v9 in ${v9dirty} + fi else for i in ${v9dirty} ; do - echo Sanitizing v9 in $i + if [ -n "${verbose}" ] ; then + echo Sanitizing v9 in $i + fi rm -f new grep -v v9 $i > new if [ -n "${safe}" ] ; then |