Keep or lost ppc-ext.h depending on whether keep-powerpc-netware is
authorIan Lance Taylor <ian@airs.com>
Fri, 18 Feb 1994 17:12:00 +0000 (17:12 +0000)
committerIan Lance Taylor <ian@airs.com>
Fri, 18 Feb 1994 17:12:00 +0000 (17:12 +0000)
used.

include/nlm/.Sanitize

index 75f957d5d71d8e021b18224511e7a7d6c9c6bedb..6f1d0dfbf302e8a878448339f4ad4fd19f498510 100644 (file)
 
 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