diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/opcode/.Sanitize | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/include/opcode/.Sanitize b/include/opcode/.Sanitize index 8f4a498..a679ca7 100644 --- a/include/opcode/.Sanitize +++ b/include/opcode/.Sanitize @@ -50,35 +50,6 @@ vax.h Things-to-lose: - 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 - if [ -n "${verbose}" ] ; then - echo Keeping v9 in ${v9dirty} - fi -else - for i in ${v9dirty} ; do - if [ -n "${verbose}" ] ; then - echo Sanitizing v9 in $i - fi - rm -f new - grep -v v9 $i > new - if [ -n "${safe}" ] ; then - mv $i .Recover - else - rm $i - fi - mv new $i - done -fi - # End of file. |