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/aout | |
| parent | 4447efa217407344b433f0e056047e4782aede3f (diff) | |
| download | gdb-7b85349fe85f22b96495ef7eff04c6e5b28c3d66.zip gdb-7b85349fe85f22b96495ef7eff04c6e5b28c3d66.tar.gz gdb-7b85349fe85f22b96495ef7eff04c6e5b28c3d66.tar.bz2 | |
honor verbose flag
Diffstat (limited to 'include/aout')
| -rw-r--r-- | include/aout/.Sanitize | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/include/aout/.Sanitize b/include/aout/.Sanitize index bc6e1f5..60f72ac 100644 --- a/include/aout/.Sanitize +++ b/include/aout/.Sanitize @@ -45,11 +45,22 @@ Do-last: v9dirty="aout64.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 |