From 80a0c990b0cbed5b0371375aeebc8e15337d7a88 Mon Sep 17 00:00:00 2001
From: David Edelsohn <dje.gcc@gmail.com>
Date: Tue, 16 May 1995 22:20:45 +0000
Subject: [PATCH] Fix arc sanitization.

---
 gdb/config/.Sanitize | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize
index 7db5638..5add00e 100644
--- 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:
 
-- 
2.7.4