OpenE2K/binutils-gdb
12
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update gdbtk keep/lose to match main GDB sanitize

Browse Source
This commit is contained in:
Stan Shebs 1995-05-25 01:30:34 +00:00
parent 4936656ad7
commit 588405286c
1 changed files with 22 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
gdb/doc/.Sanitize
View File

@ -20,16 +20,16 @@ Do-first:
gdbtk_files="gdbgui.texinfo"
if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
keep_these_too="${gdbtk_files} ${keep_these_too}"
if [ -n "${verbose}" ] ; then
echo Keeping ${gdbtk_files}
fi
else
if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
lose_these_too="${gdbtk_files} ${lose_these_too}"
if [ -n "${verbose}" ] ; then
echo Deleting ${gdbtk_files}
fi
else
keep_these_too="${gdbtk_files} ${keep_these_too}"
if [ -n "${verbose}" ] ; then
echo Keeping ${gdbtk_files}
fi
fi
# All files listed between the "Things-to-keep:" line and the
@ -71,17 +71,10 @@ snapshots.readme
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...
@ -94,6 +87,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
# End of file.