diff -r 6a83ee58d034 -r b9822060de6b run
--- a/run	Mon Jun 15 17:30:56 2015 +0200
+++ b/run	Fri Aug 21 11:57:59 2015 +0200
@@ -3,4 +3,5 @@
 platform=$(basename ${1?platform})
 shift
 
-docker run --hostname foo.site -i -t eximtest/$platform "$@"
+docker run --hostname foo.site -i -t eximtest/$platform "$@" \
+    |& tee log.$platform