diff options
Diffstat (limited to 'gdb/config')
| -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: |