From db48d8218ff6161853819db2be1bdc389493a399 Mon Sep 17 00:00:00 2001
From: Felix Lee <flee@cygnus>
Date: Wed, 16 Dec 1998 02:12:41 +0000
Subject: [PATCH] vr4run.c, keep-if vr4xxx

---
 sim/mips/.Sanitize | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/sim/mips/.Sanitize b/sim/mips/.Sanitize
index 9ddebeeec6b..38fa48107db 100644
--- 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}"
-- 
2.30.2