diff options
Diffstat (limited to 'include/opcode/.Sanitize')
| -rw-r--r-- | include/opcode/.Sanitize | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/include/opcode/.Sanitize b/include/opcode/.Sanitize index e0303d8..6ac35ba 100644 --- a/include/opcode/.Sanitize +++ b/include/opcode/.Sanitize @@ -51,11 +51,21 @@ Do-last: v9dirty="sparc.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 |