diff options
Diffstat (limited to 'include/aout/.Sanitize')
| -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 |