Sky Sanitization
authorIan Carmichael <iancarm@cygnus>
Thu, 15 Jan 1998 15:12:51 +0000 (15:12 +0000)
committerIan Carmichael <iancarm@cygnus>
Thu, 15 Jan 1998 15:12:51 +0000 (15:12 +0000)
sim/.Sanitize

index 6baa24fa6e8c0582cdd608c8f00dab2c4c5bea79..32b2f787b9033d8c8db5e5859d775b6c14c7b137 100644 (file)
@@ -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}"