--- a/.hgignore	Mon Jun 15 17:30:56 2015 +0200
+++ b/.hgignore	Fri Aug 21 11:57:59 2015 +0200
@@ -3,3 +3,4 @@
 ^exim\..*/
 ^docker\.env$
 ^platforms/.*/Dockerfile$
+^log\..*

--- a/build	Mon Jun 15 17:30:56 2015 +0200
+++ b/build	Fri Aug 21 11:57:59 2015 +0200
@@ -7,8 +7,10 @@
 make -C platforms
 
 test -d exim || {
-    echo "exim src directory missing" >&2
-    echo "try: git clone https://github.com/Exim/exim.git" >&2
+    cat >&2 <<__
+$0: exim src directory missing
+    try: git clone https://github.com/Exim/exim.git
+__
     exit 1
 }
 

--- a/enter	Mon Jun 15 17:30:56 2015 +0200
+++ b/enter	Fri Aug 21 11:57:59 2015 +0200
@@ -1,3 +1,5 @@
 #!/bin/bash
-platform=${1?platform}
+
+platform=$(basename ${1?platform})
+shift
 docker run --entrypoint /bin/bash -i -t eximtest/$platform

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