vr4run.c, keep-if vr4xxx

diff --git a/sim/mips/.Sanitize b/sim/mips/.Sanitize
index 9ddebeeec6b54a04ee221d245814b05f88b362f4..38fa48107dba5bbdc6c000b0ef163f91c8b56b39 100644 (file)
--- a/sim/mips/.Sanitize
+++ b/sim/mips/.Sanitize
@@ -17,6 +17,13 @@
 
 Do-first:
 
+vr4xxx_files="vr4run.c"
+if ( echo $* | grep keep\-vr4xxx > /dev/null ) ; then
+        keep_these_too="${vr4xxx_files} ${keep_these_too}"
+else
+        lose_these_too="${vr4xxx_files} ${lose_these_too}"
+fi
+
 r5900_files="r5900.igen"
 if ( echo $* | grep keep\-r5900 > /dev/null ) ; then
         keep_these_too="${r5900_files} ${keep_these_too}"