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