sanitize fix

diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize
index 9f8e9e5b0b4b466e3732354dc00dcddf69fc7695..efc3caa50b9117983d12f8a73ecc5d76476aa865 100644 (file)
--- a/include/elf/.Sanitize
+++ b/include/elf/.Sanitize
@@ -21,6 +21,14 @@ Do-first:
 # called.  Directories not listed will be removed in their entirety
 # with rm -rf.
 
+d30v_files="d30v.h"
+
+if ( echo $* | grep keep\-d30v > /dev/null ) ; then
+       keep_these_too="${d30v_files} ${keep_these_too}"
+else
+       lose_these_too="${d30v_files} ${lose_these_too}"
+fi
+
 Things-to-keep:
 
 ChangeLog