From 2652deb7e03557470fd7129c2e42f3573a8a52ad Mon Sep 17 00:00:00 2001
From: Stu Grossman <grossman@cygnus>
Date: Sat, 28 Sep 1996 01:16:06 +0000
Subject: [PATCH] Sanitize v850 shit.

---
 gdb/config/.Sanitize | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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