sky sanitization

This commit is contained in:
Doug Evans 1998-02-06 03:27:55 +00:00
parent 93854f7c7c
commit f3534b6867

View File

@ -101,6 +101,36 @@ else
fi
sky_files="ChangeLog Makefile.in configure configure.in"
if ( echo $* | grep keep\-sky > /dev/null ) ; then
for i in $sky_files ; do
if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Keeping sky stuff in $i
fi
fi
done
else
for i in * ; do
if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Removing traces of \"sky\" from $i...
fi
cp $i new
sed '/start\-sanitize\-sky/,/end-\sanitize\-sky/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
tx19_files="ChangeLog configure configure.in sim-main.h interp.c gencode.c mips.igen mips.dc m16.igen"
if ( echo $* | grep keep\-tx19 > /dev/null ) ; then