diff options
| -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 |