aboutsummaryrefslogtreecommitdiff
path: root/gdb/.Sanitize
diff options
context:
space:
mode:
authorFelix Lee <flee@cygnus>1997-09-18 01:33:24 +0000
committerFelix Lee <flee@cygnus>1997-09-18 01:33:24 +0000
commite1625ed21770ff7fc57ffd12860f945b260073d9 (patch)
tree1180862f63f43b2a9c08eb4c4ae8aa60cba5f37e /gdb/.Sanitize
parent00fd8294caee09fda9248f1787000c56c270e608 (diff)
downloadgdb-e1625ed21770ff7fc57ffd12860f945b260073d9.zip
gdb-e1625ed21770ff7fc57ffd12860f945b260073d9.tar.gz
gdb-e1625ed21770ff7fc57ffd12860f945b260073d9.tar.bz2
v850 files that weren't being removed if !keep-v850
Diffstat (limited to 'gdb/.Sanitize')
-rw-r--r--gdb/.Sanitize8
1 files changed, 6 insertions, 2 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize
index 5adcd95..cb5ced0 100644
--- a/gdb/.Sanitize
+++ b/gdb/.Sanitize
@@ -74,6 +74,12 @@ else
fi
fi
+if ( echo $* | grep keep\-v850 > /dev/null ) ; then
+ keep_these_too="v850-tdep.c v850ice.c ${keep_these_too}"
+else
+ lose_these_too="v850-tdep.c v850ice.c ${lose_these_too}"
+fi
+
# All files listed between the "Things-to-keep:" line and the
# "Files-to-sed:" line will be kept. All other files will be removed.
# Directories listed in this section will have their own Sanitize
@@ -412,8 +418,6 @@ value.h
values.c
vax-tdep.c
vx-share
-v850ice.c
-v850-tdep.c
w65-tdep.c
w89k-rom.c
win32-nat.c