diff options
author | Doug Evans <dje@google.com> | 1998-01-05 14:11:47 +0000 |
---|---|---|
committer | Doug Evans <dje@google.com> | 1998-01-05 14:11:47 +0000 |
commit | 947ef4012a146316d839c567b01b0f915067f1eb (patch) | |
tree | a8ce3d57385772e53efe5541035c46f915267a3a /gas/testsuite | |
parent | d97f99af2f66ed665c875dc979616328dc3d5dee (diff) | |
download | gdb-947ef4012a146316d839c567b01b0f915067f1eb.zip gdb-947ef4012a146316d839c567b01b0f915067f1eb.tar.gz gdb-947ef4012a146316d839c567b01b0f915067f1eb.tar.bz2 |
process keep-sky, for txvu subdir
Diffstat (limited to 'gas/testsuite')
-rw-r--r-- | gas/testsuite/gas/.Sanitize | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gas/testsuite/gas/.Sanitize b/gas/testsuite/gas/.Sanitize index 229b497..a9ba41e 100644 --- a/gas/testsuite/gas/.Sanitize +++ b/gas/testsuite/gas/.Sanitize @@ -29,6 +29,12 @@ else lose_these_too="tic80 ${lose_these_too}" fi +if ( echo $* | grep keep\-sky > /dev/null ) ; then + keep_these_too="txvu ${keep_these_too}" +else + lose_these_too="txvu ${lose_these_too}" +fi + if ( echo $* | grep keep\-d30v > /dev/null ) ; then keep_these_too="d30v ${keep_these_too}" else |