# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1440151079 -7200
# Node ID b9822060de6b3ffeb7f00ff92f7cda1677e36e12
# Parent  6a83ee58d03442efba20046c2d78b13dd2de5f4e
Small consistency fix

diff -r 6a83ee58d034 -r b9822060de6b .hgignore
--- 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\..*
diff -r 6a83ee58d034 -r b9822060de6b build
--- 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
 }
 
diff -r 6a83ee58d034 -r b9822060de6b enter
--- 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
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