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 |
12 for platform in $platforms; do |
14 for platform in $platforms; do |
13 system=$(basename $platform) |
15 system=$(basename $platform) |
14 docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \ |
16 docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \ |
15 |& tee out/log.$system |
17 |& { test "$out" && mkdir -p out && tee out/log.$system || cat; } |
16 done |
18 done |