diff options
author | Ian Lance Taylor <ian@airs.com> | 1994-02-18 17:12:00 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@airs.com> | 1994-02-18 17:12:00 +0000 |
commit | 79aab093bbf68130784e0351718ca30e574f0810 (patch) | |
tree | bc16ba3f3eeae16da3e3068376d103c52c0bda61 /include/nlm | |
parent | 99ec1f66c17e5f363b18a546da336bf3932fc41e (diff) | |
download | gdb-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/nlm')
-rw-r--r-- | include/nlm/.Sanitize | 6 |
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 |