changeset 33 | 34d32a2d3d84 |
parent 26 | cee1b738fa67 |
child 36 | 7e3ff0a0781d |
--- a/run Sat Nov 21 21:24:24 2015 +0100 +++ b/run Sat Nov 21 21:30:34 2015 +0100 @@ -9,8 +9,10 @@ platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d) fi +out=1 + for platform in $platforms; do system=$(basename $platform) docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \ - |& tee out/log.$system + |& { test "$out" && mkdir -p out && tee out/log.$system || cat; } done