diff options
| -rw-r--r-- | gdb/config/mips/.Sanitize | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/config/mips/.Sanitize b/gdb/config/mips/.Sanitize index 5a68cc3..26958f7 100644 --- a/gdb/config/mips/.Sanitize +++ b/gdb/config/mips/.Sanitize @@ -69,6 +69,12 @@ else lose_these_too="tm-txvu.h txvu.mt ${lose_these_too}" fi +if ( echo $* | grep keep\-vr4320 > /dev/null ) ; then + keep_these_too="tm-vr4320.h vr4320.mt ${keep_these_too}" +else + lose_these_too="tm-vr4320.h vr4320.mt ${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 |