stdlib: Fix *file tactic.

[goals.git] / stdlib / prelude.gl

diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl
index 70c664c..5b8818a 100644 (file)
--- a/stdlib/prelude.gl
+++ b/stdlib/prelude.gl
@@ -27,7 +27,7 @@ tactic *file (filename) = {
 
     # Otherwise rebuild if it is older than any dependency.
     for f in %<; do
-        test %filename -ot "$f" && exit 99 || exit 0
+        test %filename -ot "$f" && exit 99 ||:
     done
 }