aboutsummaryrefslogtreecommitdiff
path: root/ld/config
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1991-05-23 21:49:14 +0000
committerK. Richard Pixley <rich@cygnus>1991-05-23 21:49:14 +0000
commit86e4d6e4aa7ac86f3e020abaa78a23df470b7bf8 (patch)
treed7b5e0ddfad113632983736bd320ff599927e712 /ld/config
parentd5eb68fa1b9038dab2aecc9cf57c8d053bc8e738 (diff)
downloadgdb-86e4d6e4aa7ac86f3e020abaa78a23df470b7bf8.zip
gdb-86e4d6e4aa7ac86f3e020abaa78a23df470b7bf8.tar.gz
gdb-86e4d6e4aa7ac86f3e020abaa78a23df470b7bf8.tar.bz2
Initial revision
Diffstat (limited to 'ld/config')
-rw-r--r--ld/config/.Sanitize52
1 files changed, 52 insertions, 0 deletions
diff --git a/ld/config/.Sanitize b/ld/config/.Sanitize
new file mode 100644
index 0000000..701e5c8
--- /dev/null
+++ b/ld/config/.Sanitize
@@ -0,0 +1,52 @@
+# Sanitize.in for devo.
+# $Id$
+#
+
+# Each directory to survive it's 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
+
+Do-first:
+
+echo Sanitizing `pwd`...
+
+if ( echo $* | grep keep\-v9 > /dev/null ) ; then
+ keep_these_too=hmake-sun4-64
+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:
+
+hmake-dgux
+hmake-sun3
+hmake-sun4
+tmake-sun4
+
+Do-last:
+
+echo Done in `pwd`.
+
+#
+#
+# $Log$
+# Revision 1.1 1991/05/23 21:43:26 rich
+# Initial revision
+#
+#
+#
+
+# End of file.