1 files changed, 4 insertions, 0 deletions

diff --git a/default.do b/default.do
index c137f41..8e378be 100644
--- a/default.do
+++ b/default.do
@@ -1,2 +1,6 @@
+if [[ $$2 =~ \.st$ ]]
+then
+    exit 0
+fi
 deps=$( { shelter.sh $2.st >$2; } 3>&1)
 redo-ifchange ${deps}