aboutsummaryrefslogtreecommitdiff
path: root/gdb/doc
diff options
context:
space:
mode:
authorStan Shebs <shebs@codesourcery.com>1995-05-25 01:30:34 +0000
committerStan Shebs <shebs@codesourcery.com>1995-05-25 01:30:34 +0000
commit588405286c18cd69f3470a3db19c8ddff7d77310 (patch)
tree7cfacd380163b156c59c1d4be83d8ab488188109 /gdb/doc
parent4936656ad7ae11e5b4f54a3543ac6d3a50eb1ea9 (diff)
downloadgdb-588405286c18cd69f3470a3db19c8ddff7d77310.zip
gdb-588405286c18cd69f3470a3db19c8ddff7d77310.tar.gz
gdb-588405286c18cd69f3470a3db19c8ddff7d77310.tar.bz2
Update gdbtk keep/lose to match main GDB sanitize
Diffstat (limited to 'gdb/doc')
-rw-r--r--gdb/doc/.Sanitize29
1 files changed, 18 insertions, 11 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize
index 3f476e1..9987b29 100644
--- a/gdb/doc/.Sanitize
+++ b/gdb/doc/.Sanitize
@@ -20,15 +20,15 @@ Do-first:
gdbtk_files="gdbgui.texinfo"
-if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
- keep_these_too="${gdbtk_files} ${keep_these_too}"
+if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
+ lose_these_too="${gdbtk_files} ${lose_these_too}"
if [ -n "${verbose}" ] ; then
- echo Keeping ${gdbtk_files}
+ echo Deleting ${gdbtk_files}
fi
else
- lose_these_too="${gdbtk_files} ${lose_these_too}"
+ keep_these_too="${gdbtk_files} ${keep_these_too}"
if [ -n "${verbose}" ] ; then
- echo Deleting ${gdbtk_files}
+ echo Keeping ${gdbtk_files}
fi
fi
@@ -71,22 +71,29 @@ 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
+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 Keeping gdbtk stuff in $i
+ echo Removing traces of \"gdbtk\" out of $i...
+ cp $i new
+ sed '/start\-sanitize\-gdbtk/,/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
else
+ echo Leaving \"gdbtk\" in the sources...
for i in * ; do
if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
- echo Removing traces of \"gdbtk\" out of $i...
+ echo Keeping \"gdbtk\" stuff in $i, but editing out sanitize lines...
cp $i new
- sed '/start\-sanitize\-gdbtk/,/end-\sanitize\-gdbtk/d' < $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