diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/elf/.Sanitize | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index 725b6b8..9731faa 100644 --- a/include/elf/.Sanitize +++ b/include/elf/.Sanitize @@ -35,36 +35,6 @@ mips.h Things-to-lose: - 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 - 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. |