equal
deleted
inserted
replaced
5 |
5 |
6 # update the Dockerfiles for the platforms |
6 # update the Dockerfiles for the platforms |
7 make -C platforms |
7 make -C platforms |
8 |
8 |
9 test -d exim || { |
9 test -d exim || { |
10 echo "exim src directory missing" >&2 |
10 cat >&2 <<__ |
11 echo "try: git clone https://github.com/Exim/exim.git" >&2 |
11 $0: exim src directory missing |
|
12 try: git clone https://github.com/Exim/exim.git |
|
13 __ |
12 exit 1 |
14 exit 1 |
13 } |
15 } |
14 |
16 |
15 for dockerfile in $(find "${@-platforms}" -name Dockerfile) |
17 for dockerfile in $(find "${@-platforms}" -name Dockerfile) |
16 do |
18 do |