aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Hunt <hunt@redhat.com>1997-02-27 01:49:49 +0000
committerMartin Hunt <hunt@redhat.com>1997-02-27 01:49:49 +0000
commit713495a9e6dcc1649dd009fee85983c197dfc022 (patch)
tree92c4e19a96a99706f339373891d4c70462e5c11c
parentc94db67a25efe978e4f7e302fb9bdafa7817ea9c (diff)
downloadgdb-713495a9e6dcc1649dd009fee85983c197dfc022.zip
gdb-713495a9e6dcc1649dd009fee85983c197dfc022.tar.gz
gdb-713495a9e6dcc1649dd009fee85983c197dfc022.tar.bz2
Sanitize out d30v stuff.
-rw-r--r--include/.Sanitize28
1 files changed, 28 insertions, 0 deletions
diff --git a/include/.Sanitize b/include/.Sanitize
index b58d8d3..4c440e9 100644
--- a/include/.Sanitize
+++ b/include/.Sanitize
@@ -172,6 +172,34 @@ else
done
fi
+d30v_files="ChangeLog dis-asm.h"
+if ( echo $* | grep keep\-d30v > /dev/null ) ; then
+ for i in $d30v_files ; do
+ if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping d30v stuff in $i
+ fi
+ fi
+ done
+else
+ for i in $d30v_files ; do
+ if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"d30v\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-d30v/,/end-\sanitize\-d30v/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
+
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then
echo '***' Some mentions of Sanitize are still left in $i! 1>&2