diff options
Diffstat (limited to 'gdb/.Sanitize')
| -rw-r--r-- | gdb/.Sanitize | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index a770ebf..206e314 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -15,6 +15,10 @@ Do-first: +if ( echo $* | grep keep\-v9 > /dev/null ) ; then + keep_these_too="sp64-tdep.c remote-sp64sim.c" +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 |