Fix arc sanitization.

diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize
index 7db5638..5add00e 100644 (file)
--- a/gdb/config/.Sanitize
+++ b/gdb/config/.Sanitize
@@ -15,6 +15,12 @@
 
 Do-first:
 
+if ( echo $* | grep keep\-arc > /dev/null ) ; then
+       keep_these_too="arc ${keep_these_too}"
+else
+       lose_these_too="arc ${lose_these_too}"
+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
@@ -62,7 +68,6 @@ w65
 z8k
 
 Things-to-lose:
-arc
 
 Do-last: