build
changeset 7 a26a3f0b94d3
parent 5 3e135449f797
child 14 6a83ee58d034
--- a/build	Wed Apr 08 21:59:47 2015 +0200
+++ b/build	Tue Apr 14 23:36:09 2015 +0200
@@ -1,4 +1,6 @@
 #!/bin/bash
+
+trap '[[ $SORRY ]] && echo "FAILED: $SORRY" >&2' EXIT
 make -C platforms
 set -e
 test -d exim || {
@@ -10,6 +12,7 @@
 do
     context=${dockerfile%/*}
     system=${context#*/}
-    echo docker build -f $dockerfile -t eximtest/$system 
+    SORRY="build for $system"
     docker build -f $dockerfile -t eximtest/$system .
+    SORRY=
 done