run
changeset 33 34d32a2d3d84
parent 26 cee1b738fa67
child 36 7e3ff0a0781d
--- a/run	Sat Nov 21 21:24:24 2015 +0100
+++ b/run	Sat Nov 21 21:30:34 2015 +0100
@@ -9,8 +9,10 @@
     platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d)
 fi
 
+out=1
+
 for platform in $platforms; do
     system=$(basename $platform)
     docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \
-	|& tee out/log.$system
+	|& { test "$out" && mkdir -p out && tee out/log.$system || cat; }
 done