unsanitize v9

diff --git a/include/aout/.Sanitize b/include/aout/.Sanitize
index 210b209e2a9e7c9009d69a52a5d1deab2aac1622..21008c5adc6b50659b6805004c37cc3f724fef11 100644 (file)
--- a/include/aout/.Sanitize
+++ b/include/aout/.Sanitize
@@ -44,36 +44,6 @@ sun4.h
 
 Things-to-lose:
 
-
 Do-last:
 
-v9dirty="aout64.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.