diff options
| author | Ian Carmichael <iancarm@cygnus> | 1998-01-15 15:12:51 +0000 |
|---|---|---|
| committer | Ian Carmichael <iancarm@cygnus> | 1998-01-15 15:12:51 +0000 |
| commit | eba01826a5bc2de44ae7f18c52dfa24b794266ee (patch) | |
| tree | 72fb72ebe2d85a16cd2e8a7656c927d7d5de1880 /sim/.Sanitize | |
| parent | 86418a70c8cce5358e02e78d813cae69b186445f (diff) | |
| download | gdb-eba01826a5bc2de44ae7f18c52dfa24b794266ee.zip gdb-eba01826a5bc2de44ae7f18c52dfa24b794266ee.tar.gz gdb-eba01826a5bc2de44ae7f18c52dfa24b794266ee.tar.bz2 | |
Sky Sanitization
Diffstat (limited to 'sim/.Sanitize')
| -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}" |