Remove v9 sanitization.

This commit is contained in:
David Edelsohn 1994-03-20 20:44:34 +00:00
parent c20c75060d
commit a8183040a0

View file

@ -45,33 +45,5 @@ 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.