aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1998-04-22 16:46:19 +0000
committerIan Lance Taylor <ian@airs.com>1998-04-22 16:46:19 +0000
commitb2c17b4c82c2d88b3a3969a76ce73125cd76c941 (patch)
treec6ca79e994e3cb862f2721008f9aa3587d56af6a /config
parent7d8f6751c21bfa9609b273a5deb4285e49388e67 (diff)
downloadgdb-b2c17b4c82c2d88b3a3969a76ce73125cd76c941.zip
gdb-b2c17b4c82c2d88b3a3969a76ce73125cd76c941.tar.gz
gdb-b2c17b4c82c2d88b3a3969a76ce73125cd76c941.tar.bz2
add mt-ospace
Diffstat (limited to 'config')
-rw-r--r--config/.Sanitize15
1 files changed, 10 insertions, 5 deletions
diff --git a/config/.Sanitize b/config/.Sanitize
index e534505..61f5cde 100644
--- a/config/.Sanitize
+++ b/config/.Sanitize
@@ -1,4 +1,4 @@
-# .Sanitize for devo/config.
+# .Sanitize for devo/config
# Each directory to survive its way into a release will need a file
# like this one called "./.Sanitize". All keyword lines must exist,
@@ -28,7 +28,7 @@ else
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.
+# "Do-last:" 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.
@@ -78,6 +78,7 @@ mt-elfalphapic
mt-linux
mt-m68kpic
mt-netware
+mt-ospace
mt-papic
mt-ppcpic
mt-sparcpic
@@ -86,10 +87,15 @@ mt-x86pic
Things-to-lose:
+
+
+# The lines between the "Do-last:" line and the end of the file
+# are executed as a /bin/sh shell script after everything else is
+# done.
+
Do-last:
r5900_files="ChangeLog"
-
if ( echo $* | grep keep\-r5900 > /dev/null ) ; then
for i in $r5900_files ; do
if test ! -d $i && (grep sanitize-r5900 $i > /dev/null) ; then
@@ -118,7 +124,6 @@ else
fi
cygnus_files="mh-go32"
-
if ( echo $* | grep keep\-cygnus > /dev/null ) ; then
for i in $cygnus_files ; do
if test ! -d $i && (grep sanitize-cygnus $i > /dev/null) ; then
@@ -146,4 +151,4 @@ else
done
fi
-# End of file.
+# eof