diff options
author | Doug Evans <dje@google.com> | 1998-01-28 18:32:30 +0000 |
---|---|---|
committer | Doug Evans <dje@google.com> | 1998-01-28 18:32:30 +0000 |
commit | 0f1ec0f95fef8a5dd72292b260251282645a1ad9 (patch) | |
tree | 15120c6e1cf5fcff51c0fe8f5462e56511f33730 | |
parent | bfddfe6ec8f853e61d6b96c3c72916b00e9f4898 (diff) | |
download | gdb-0f1ec0f95fef8a5dd72292b260251282645a1ad9.zip gdb-0f1ec0f95fef8a5dd72292b260251282645a1ad9.tar.gz gdb-0f1ec0f95fef8a5dd72292b260251282645a1ad9.tar.bz2 |
txvu renamed to dvp
-rw-r--r-- | gas/testsuite/gas/.Sanitize | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gas/testsuite/gas/.Sanitize b/gas/testsuite/gas/.Sanitize index a9ba41e..74c0ac4 100644 --- a/gas/testsuite/gas/.Sanitize +++ b/gas/testsuite/gas/.Sanitize @@ -30,9 +30,9 @@ else fi if ( echo $* | grep keep\-sky > /dev/null ) ; then - keep_these_too="txvu ${keep_these_too}" + keep_these_too="dvp ${keep_these_too}" else - lose_these_too="txvu ${lose_these_too}" + lose_these_too="dvp ${lose_these_too}" fi if ( echo $* | grep keep\-d30v > /dev/null ) ; then |