diff options
Diffstat (limited to 'opcodes/.Sanitize')
| -rw-r--r-- | opcodes/.Sanitize | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize index 46543cb..f0d90f1 100644 --- a/opcodes/.Sanitize +++ b/opcodes/.Sanitize @@ -32,6 +32,21 @@ z8k-opc.h Do-last: +Do-last: + +if ( echo $* | grep keep\-v9 > /dev/null ) ; then + echo Keeping v9 in sparc-opc.c +else + echo Sanitizing v9 in sparc-opc.c + rm -f new + grep -v v9 sparc-opc.c > new + if [ -n "${safe}" ] ; then + mv sparc-opc.c .Recover + else + rm sparc-opc.c + fi + mv new sparc-opc.c +fi echo Done in `pwd`. |