only keep d10velf.sh for keep-d10v

diff --git a/ld/emulparams/.Sanitize b/ld/emulparams/.Sanitize
index 95cc171ab8b67bd8d4fa62c89d4623c5ded2e80b..12c2427705f2f12aeb1baef169ea6fc46d6d55c3 100644 (file)
--- a/ld/emulparams/.Sanitize
+++ b/ld/emulparams/.Sanitize
@@ -23,6 +23,14 @@ else
        lose_these_too="${arc_files} ${lose_these_too}"
 fi
 
+d10v_files="d10velf.sh"
+
+if ( echo $* | grep keep\-d10v > /dev/null ) ; then
+       keep_these_too="${d10v_files} ${keep_these_too}"
+else
+       lose_these_too="${d10v_files} ${lose_these_too}"
+fi
+
 d30v_files="d30velf.sh"
 
 if ( echo $* | grep keep\-d30v > /dev/null ) ; then