diff options
author | Mark Alexander <marka@cygnus> | 1997-09-17 20:59:27 +0000 |
---|---|---|
committer | Mark Alexander <marka@cygnus> | 1997-09-17 20:59:27 +0000 |
commit | 2a3b391bbe2bd64de9818e9cd1d7a3a967d2ed81 (patch) | |
tree | 46f38fa5a1b9549b06863505926ee4c939aa4495 /gdb | |
parent | db1fa6ab261fd9d5a22b8c8adec16c54dcb4b7ea (diff) | |
download | gdb-2a3b391bbe2bd64de9818e9cd1d7a3a967d2ed81.zip gdb-2a3b391bbe2bd64de9818e9cd1d7a3a967d2ed81.tar.gz gdb-2a3b391bbe2bd64de9818e9cd1d7a3a967d2ed81.tar.bz2 |
Fix tx19 sanitization.
Diffstat (limited to 'gdb')
-rw-r--r-- | gdb/config/mips/.Sanitize | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/gdb/config/mips/.Sanitize b/gdb/config/mips/.Sanitize index d97f557..c4e1e8d 100644 --- a/gdb/config/mips/.Sanitize +++ b/gdb/config/mips/.Sanitize @@ -15,6 +15,20 @@ Do-first: +tx19_files="tm-tx19.h tm-tx19l.h tx19.mt tx19l.mt" + +if ( echo $* | grep keep\-tx19 > /dev/null ) ; then + keep_these_too="${tx19_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${tx19_files} + fi +else + lose_these_too="${tx19_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${tx19_files} + fi +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 @@ -91,10 +105,6 @@ r3900.mt r3900l.mt tm-r3900.h tm-r3900l.h -tm-tx19.h -tm-tx19l.h -tx19.mt -tx19l.mt Do-last: |