diff options
Diffstat (limited to 'gdb/.Sanitize')
| -rw-r--r-- | gdb/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 5c697c4..b956f64 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -88,7 +88,7 @@ else fi fi -v850_files="v850-tdep.c" +v850_files="v850ice.c v850-tdep.c" if ( echo $* | grep keep\-v850 > /dev/null ) ; then keep_these_too="${v850_files} ${keep_these_too}" |