No longer need to sanitize away h8s stuff.

This commit is contained in:
Jeff Law 1996-07-05 19:05:26 +00:00
parent 25b344a4a2
commit cf4c2392ef

View file

@ -92,36 +92,5 @@ Things-to-lose:
Do-last:
if [ -n "${verbose}" ] ; then
echo Processing \"h8s\"...
fi
h8s_files="h8300.exp"
if ( echo $* | grep keep\-h8s > /dev/null ) ; then
for i in $h8s_files ; do
if test ! -d $i && (grep sanitize-h8s $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Keeping h8s stuff in $i
fi
fi
done
else
for i in $h8s_files ; do
if test ! -d $i && (grep sanitize-h8s $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Removing traces of \"h8s\" from $i...
fi
cp $i new
sed '/start\-sanitize\-h8s/,/end-\sanitize\-h8s/d' < $i > new
if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
if [ -n "${verbose}" ] ; then
echo Caching $i in .Recover...
fi
mv $i .Recover
fi
mv new $i
fi
done
fi
# End of file.