equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
|
2 |
|
3 trap '[[ $SORRY ]] && echo "FAILED: $SORRY" >&2' EXIT |
2 make -C platforms |
4 make -C platforms |
3 set -e |
5 set -e |
4 test -d exim || { |
6 test -d exim || { |
5 echo "exim src directory missing" >&2 |
7 echo "exim src directory missing" >&2 |
6 echo "try: git clone https://github.com/Exim/exim.git" >&2 |
8 echo "try: git clone https://github.com/Exim/exim.git" >&2 |
8 } |
10 } |
9 for dockerfile in ${*:-platforms/*/Dockerfile} |
11 for dockerfile in ${*:-platforms/*/Dockerfile} |
10 do |
12 do |
11 context=${dockerfile%/*} |
13 context=${dockerfile%/*} |
12 system=${context#*/} |
14 system=${context#*/} |
13 echo docker build -f $dockerfile -t eximtest/$system |
15 SORRY="build for $system" |
14 docker build -f $dockerfile -t eximtest/$system . |
16 docker build -f $dockerfile -t eximtest/$system . |
|
17 SORRY= |
15 done |
18 done |