diff options
| author | Felix Lee <flee@cygnus> | 1998-12-16 02:12:41 +0000 |
|---|---|---|
| committer | Felix Lee <flee@cygnus> | 1998-12-16 02:12:41 +0000 |
| commit | db48d8218ff6161853819db2be1bdc389493a399 (patch) | |
| tree | 347a497a3301a423d90106a2199502acc639f96b | |
| parent | 5036d102ed967ae8fae10e2a659bcac99ec51a76 (diff) | |
| download | gdb-db48d8218ff6161853819db2be1bdc389493a399.zip gdb-db48d8218ff6161853819db2be1bdc389493a399.tar.gz gdb-db48d8218ff6161853819db2be1bdc389493a399.tar.bz2 | |
vr4run.c, keep-if vr4xxx
| -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}" |