d30v sanitization

diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize
index fa2df864b0b027b8a57b3fefd6b0504acf45e481..6ba56c0f88d741b896716f65b28557ccd838d4be 100644 (file)
--- a/gdb/config/.Sanitize
+++ b/gdb/config/.Sanitize
@@ -49,6 +49,20 @@ else
        lose_these_too="v850 ${lose_these_too}"
 fi
 
+d30v_files="d30v"
+
+if ( echo $* | grep keep\-d30v > /dev/null ) ; then
+       keep_these_too="${d30v_files} ${keep_these_too}"
+       if [ -n "${verbose}" ] ; then
+               echo Keeping ${d30v_files}
+       fi
+else
+       lose_these_too="${d30v_files} ${lose_these_too}"
+       if [ -n "${verbose}" ] ; then
+               echo Deleting ${d30v_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