redo (yet again) chill sanitization -- thanks per

This commit is contained in:
David D. Zuhn
1993-01-07 01:43:53 +00:00
parent b13a565e75
commit d405f5be84
2 changed files with 40 additions and 31 deletions

View File

@ -145,30 +145,6 @@ else
mv new $i
fi
done
echo Thawing more \"chill\" out of Makefile.in...
cp Makefile.in new
sed -e 's/ chillrt / /g' \
-e 's/newlib, chillrt/newlib/g' \
-e 's/ all-chillrt / /g' \
-e '/^[ ]*install-chillrt[ ]*\\$/d' \
-e 's/ install-chillrt / /g' \
-e 's/newlib \| chillrt/newlib/g' \
-e 's/install-man install-libchill install-librmt/install-man/g' \
< Makefile.in > new
if [ -n "${safe}" -a ! -f .Recover/Makefile.in ] ; then
echo Caching Makefile.in in .Recover...
mv Makefile.in .Recover
fi
mv new Makefile.in
echo Thawing the \"chill\" out of configure.in...
cp configure.in new
sed -e 's/ chillrt / /g' \
< configure.in > new
if [ -n "${safe}" -a ! -f .Recover/configure.in ] ; then
echo Caching configure.in in .Recover...
mv configure.in .Recover
fi
mv new configure.in
fi
for i in * ; do