diff options
Diffstat (limited to 'sim/mips/.Sanitize')
| -rw-r--r-- | sim/mips/.Sanitize | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sim/mips/.Sanitize b/sim/mips/.Sanitize index 9ddebee..38fa481 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}" |