aboutsummaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1994-02-18 17:12:00 +0000
committerIan Lance Taylor <ian@airs.com>1994-02-18 17:12:00 +0000
commit79aab093bbf68130784e0351718ca30e574f0810 (patch)
treebc16ba3f3eeae16da3e3068376d103c52c0bda61 /include
parent99ec1f66c17e5f363b18a546da336bf3932fc41e (diff)
downloadgdb-79aab093bbf68130784e0351718ca30e574f0810.zip
gdb-79aab093bbf68130784e0351718ca30e574f0810.tar.gz
gdb-79aab093bbf68130784e0351718ca30e574f0810.tar.bz2
Keep or lost ppc-ext.h depending on whether keep-powerpc-netware is
used.
Diffstat (limited to 'include')
-rw-r--r--include/nlm/.Sanitize6
1 files changed, 6 insertions, 0 deletions
diff --git a/include/nlm/.Sanitize b/include/nlm/.Sanitize
index 75f957d..6f1d0df 100644
--- a/include/nlm/.Sanitize
+++ b/include/nlm/.Sanitize
@@ -17,6 +17,12 @@
Do-first:
+if ( echo $* | grep keep\-powerpc\-netware > /dev/null ) ; then
+ keep_these_too="ppc-ext.h ${keep_these_too}"
+else
+ lose_these_too="ppc-ext.h ${lose_these_too}"
+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