run
changeset 21 9d572c2d6803
parent 15 b9822060de6b
child 25 ee88a1d1f2c6
--- a/run	Mon Aug 24 21:39:14 2015 +0200
+++ b/run	Mon Aug 24 21:39:41 2015 +0200
@@ -1,7 +1,11 @@
 #!/bin/bash
 
-platform=$(basename ${1?platform})
-shift
+export LC_ALL=C
+
+platforms=${1-$(find platforms -mindepth 1 -maxdepth 1 -type d)}
 
-docker run --hostname foo.site -i -t eximtest/$platform "$@" \
-    |& tee log.$platform
+for platform in $platforms; do
+    system=$(basename $platform)
+    docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \
+	|& tee out/log.$system
+done