diff options
| -rw-r--r-- | sim/.Sanitize | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sim/.Sanitize b/sim/.Sanitize index 6baa24f..32b2f78 100644 --- a/sim/.Sanitize +++ b/sim/.Sanitize @@ -22,6 +22,13 @@ else lose_these_too="${d30v_files} ${lose_these_too}" fi +sky_files="txvu" +if ( echo $* | grep keep\-sky > /dev/null ) ; then + keep_these_too="${sky_files} ${keep_these_too}" +else + lose_these_too="${sky_files} ${lose_these_too}" +fi + tic80_files="tic80" if ( echo $* | grep keep\-tic80 > /dev/null ) ; then keep_these_too="${tic80_files} ${keep_these_too}" |