diff -r a94233c4e86a -r a26a3f0b94d3 build --- 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