equal
deleted
inserted
replaced
7 shift |
7 shift |
8 else |
8 else |
9 platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d) |
9 platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d) |
10 fi |
10 fi |
11 |
11 |
12 out=1 |
|
13 |
|
14 for platform in $platforms; do |
12 for platform in $platforms; do |
15 system=$(basename $platform) |
13 system=$(basename $platform) |
|
14 out=out-$(docker run --entrypoint git eximtest/$system describe --tags --dirty=+) |
|
15 mkdir -p "$out" |
16 docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \ |
16 docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \ |
17 |& { test "$out" && mkdir -p out && tee out/log.$system || cat; } |
17 |& tee "$out/log.$system" |
18 done |
18 done |