From: Fred Fish <fnf@specifix.com>
Date: Sat, 22 Mar 1997 23:53:32 +0000 (+0000)
Subject: Forgot this change in last checkin.
X-Git-Tag: gdb-4_18~6048
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=46c755d49577f39315ddadc88b73c5247bb893c0;p=external%2Fbinutils.git

Forgot this change in last checkin.
---

diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize
index e51c3d5..4025e8b 100644
--- a/gdb/config/.Sanitize
+++ b/gdb/config/.Sanitize
@@ -63,6 +63,20 @@ else
 	fi
 fi
 
+tic80_files="tic80"
+
+if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
+	keep_these_too="${tic80_files} ${keep_these_too}"
+	if [ -n "${verbose}" ] ; then
+		echo Keeping ${tic80_files}
+	fi
+else
+	lose_these_too="${tic80_files} ${lose_these_too}"
+	if [ -n "${verbose}" ] ; then
+		echo Deleting ${tic80_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