# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1440445181 -7200
# Node ID 9d572c2d6803462cb3244b9faf73a01dfe259bea
# Parent  3f164cb8d5436cca690818dc6dcecfe1a397b601
Unify the interface

diff -r 3f164cb8d543 -r 9d572c2d6803 build
--- 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
diff -r 3f164cb8d543 -r 9d572c2d6803 run
--- 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