From 09f0789e93d63e5de5e07e245aa956a9df82da42 Mon Sep 17 00:00:00 2001
From: Fred Fish <fnf@specifix.com>
Date: Sat, 22 Mar 1997 23:55:06 +0000
Subject: [PATCH] Add this file too..

---
 gdb/config/tic80/.Sanitize | 72 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 72 insertions(+)
 create mode 100644 gdb/config/tic80/.Sanitize

diff --git a/gdb/config/tic80/.Sanitize b/gdb/config/tic80/.Sanitize
new file mode 100644
index 0000000000..17091a29f9
--- /dev/null
+++ b/gdb/config/tic80/.Sanitize
@@ -0,0 +1,72 @@
+# .Sanitize for devo/gdb/config/tic80.
+
+# Each directory to survive its way into a release will need a file
+# like this one called "./.Sanitize".  All keyword lines must exist,
+# and must exist in the order specified by this file.  Each directory
+# in the tree will be processed, top down, in the following order.
+
+# Hash started lines like this one are comments and will be deleted
+# before anything else is done.  Blank lines will also be squashed
+# out.
+
+# The lines between the "Do-first:" line and the "Things-to-keep:"
+# line are executed as a /bin/sh shell script before anything else is
+# done in this directory.
+
+Do-first:
+
+tic80_files="tm-tic80.h tic80.mt"
+
+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
+# called.  Directories not listed will be removed in their entirety
+# with rm -rf.
+
+Things-to-keep:
+
+Things-to-lose:
+
+
+Do-last:
+
+if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
+	for i in * ; do
+		if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
+			if [ -n "${verbose}" ] ; then
+				echo Keeping tic80 stuff in $i
+			fi
+		fi
+	done
+else
+	for i in * ; do
+		if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
+			if [ -n "${verbose}" ] ; then
+				echo Removing traces of \"tic80\" from $i...
+			fi
+			cp $i new
+			sed '/start\-sanitize\-tic80/,/end-\sanitize\-tic80/d' < $i > new
+			if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+				if [ -n "${verbose}" ] ; then
+					echo Caching $i in .Recover...
+				fi
+				mv $i .Recover
+			fi
+			mv new $i
+		fi
+	done
+fi
+
+# End of file.