process keep-sky, for txvu subdir

diff --git a/gas/testsuite/gas/.Sanitize b/gas/testsuite/gas/.Sanitize
index 229b497e40ad667958517ab50275e3e3b3173d44..a9ba41e09d33bb5f1ae4bf81136989efe7223514 100644 (file)
--- 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