diff options
author | David Edelsohn <dje.gcc@gmail.com> | 1996-09-30 21:10:54 +0000 |
---|---|---|
committer | David Edelsohn <dje.gcc@gmail.com> | 1996-09-30 21:10:54 +0000 |
commit | 81ca9d3b3f6ac51aa06547653f7f97437cfad728 (patch) | |
tree | ae38c757e7edd3767852f3f0b8f0061bc6377200 | |
parent | b02d4da4fe44e0916764313becbedf096eb80e53 (diff) | |
download | gdb-81ca9d3b3f6ac51aa06547653f7f97437cfad728.zip gdb-81ca9d3b3f6ac51aa06547653f7f97437cfad728.tar.gz gdb-81ca9d3b3f6ac51aa06547653f7f97437cfad728.tar.bz2 |
m32r [work in progress]
-rw-r--r-- | sim/.Sanitize | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sim/.Sanitize b/sim/.Sanitize index eb1f240..2372ed9 100644 --- a/sim/.Sanitize +++ b/sim/.Sanitize @@ -22,6 +22,13 @@ else lose_these_too="${d10v_files} ${lose_these_too}" fi +m32r_files="m32r" +if ( echo $* | grep keep\-m32r > /dev/null ) ; then + keep_these_too="${m32r_files} ${keep_these_too}" +else + lose_these_too="${m32r_files} ${lose_these_too}" +fi + v850_files="v850" if ( echo $* | grep keep\-v850 > /dev/null ) ; then keep_these_too="${v850_files} ${keep_these_too}" |