Fix sed'iting of files with gdbtk stuff in them

This commit is contained in:
Stan Shebs 1995-05-10 01:25:02 +00:00
parent 417ced0de7
commit a06cde0912
1 changed files with 16 additions and 9 deletions

View File

@ -362,17 +362,10 @@ state.h
Do-last:
echo Catering to RMS by removing traces of \"gdbtk\"...
# Don't try to clean directories here, as the 'mv' command will fail.
# Also, grep fails on NFS mounted directories.
if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
for i in * ; do
if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
echo Keeping gdbtk stuff in $i
fi
done
else
if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
echo Catering to RMS by removing traces of \"gdbtk\"...
for i in * ; do
if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
echo Removing traces of \"gdbtk\" out of $i...
@ -385,6 +378,20 @@ else
mv new $i
fi
done
else
echo Leaving \"gdbtk\" in the sources...
for i in * ; do
if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
echo Keeping \"gdbtk\" stuff in $i, but editing out sanitize lines...
cp $i new
sed -e '/start\-sanitize\-gdbtk/d' -e '/end\-sanitize\-gdbtk/d' < $i > new
if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
echo Caching $i in .Recover...
mv $i .Recover
fi
mv new $i
fi
done
fi
r16_files="configure.in"