Sanitization for new ARM files.

1 files changed, 92 insertions, 0 deletions

diff --git a/gdb/rdi-share/.Sanitize b/gdb/rdi-share/.Sanitize
new file mode 100644
index 0000000..b1313b6
--- /dev/null
+++ b/gdb/rdi-share/.Sanitize
@@ -0,0 +1,92 @@
+# .Sanitize for devo/gdb/rdi-share
+
+# 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:
+
+# 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:
+
+Makefile.in
+README.CYGNUS
+adp.h
+adperr.h
+angel.h
+ardi.c
+ardi.h
+armdbg.h
+buffers.h
+bytesex.c
+bytesex.h
+chandefs.h
+channels.h
+chanpriv.h
+configure.in
+crc.c
+crc.h
+dbg_conf.h
+dbg_cp.h
+dbg_hif.h
+dbg_rdi.h
+devclnt.h
+devices.h
+devsw.c
+devsw.h
+drivers.c
+drivers.h
+endian.h
+etherdrv.c
+ethernet.h
+host.h
+hostchan.c
+hostchan.h
+hsys.c
+hsys.h
+logging.c
+logging.h
+msgbuild.c
+msgbuild.h
+params.c
+params.h
+rx.c
+rxtx.h
+serdrv.c
+serpardr.c
+sys.h
+tx.c
+unixcomm.c
+unixcomm.h
+
+# Things which are explicitly *not* kept, for now.
+
+Things-to-lose:
+
+Do-last:
+
+# Don't try to clean directories here, as the 'mv' command will fail.
+# Also, grep fails on NFS mounted directories.
+
+for i in * ; do
+	if test ! -d $i && (grep sanitize $i > /dev/null) ; then
+		echo '***' Some mentions of Sanitize are still left in $i! 1>&2
+	fi
+done
+
+#
+# End of file.