diff options
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 |