diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/elf/.Sanitize | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index 1ac8556..11b6cd4 100644 --- a/include/elf/.Sanitize +++ b/include/elf/.Sanitize @@ -34,4 +34,23 @@ internal.h Do-last: +v9dirty="common.h" + +if ( echo $* | grep keep\-v9 > /dev/null ) ; then + echo Keeping v9 in ${v9dirty} +else + for i in ${v9dirty} ; do + echo Sanitizing v9 in $i + 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. |