aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Lee <flee@cygnus>1998-12-18 16:49:08 +0000
committerFelix Lee <flee@cygnus>1998-12-18 16:49:08 +0000
commitc80fb0d3cd0c7f7578c95eb7ee0fae63458f4189 (patch)
treee3b57129dde84cac098e653bf7eac4a82987a29c
parent1e012f703eebd9ea20b3ed8ab659574ab2c9a15b (diff)
downloadgdb-c80fb0d3cd0c7f7578c95eb7ee0fae63458f4189.zip
gdb-c80fb0d3cd0c7f7578c95eb7ee0fae63458f4189.tar.gz
gdb-c80fb0d3cd0c7f7578c95eb7ee0fae63458f4189.tar.bz2
sanitization fix.
-rw-r--r--opcodes/.Sanitize17
1 files changed, 17 insertions, 0 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize
index 71cd19a..b167231 100644
--- a/opcodes/.Sanitize
+++ b/opcodes/.Sanitize
@@ -133,6 +133,23 @@ z8kgen.c
Things-to-lose:
Do-last:
+never_files="Makefile.am Makefile.in"
+for i in $never_files ; do
+ if test ! -d $i && (grep sanitize-cygnus-never $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"cygnus-never\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-cygnus-never/,/end\-sanitize\-cygnus-never/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
cygnus_files="ChangeLog Makefile.am Makefile.in configure.in configure"
if ( echo $* | grep keep\-cygnus > /dev/null ) ; then