--- a/build	Mon Aug 24 21:39:14 2015 +0200
+++ b/build	Mon Aug 24 21:39:41 2015 +0200
@@ -1,6 +1,8 @@
 #!/bin/bash
 
 set -e
+export LC_ALL=C
+
 trap '[[ $SORRY ]] && echo "FAILED: $SORRY" >&2' EXIT
 
 # update the Dockerfiles for the platforms

--- 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