diff options
author | Felix Lee <flee@cygnus> | 1997-09-18 01:33:24 +0000 |
---|---|---|
committer | Felix Lee <flee@cygnus> | 1997-09-18 01:33:24 +0000 |
commit | e1625ed21770ff7fc57ffd12860f945b260073d9 (patch) | |
tree | 1180862f63f43b2a9c08eb4c4ae8aa60cba5f37e /gdb/.Sanitize | |
parent | 00fd8294caee09fda9248f1787000c56c270e608 (diff) | |
download | gdb-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/.Sanitize | 8 |
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 |