changeset 21 | 9d572c2d6803 |
parent 15 | b9822060de6b |
child 25 | ee88a1d1f2c6 |
--- a/run Mon Aug 24 21:39:14 2015 +0200 +++ b/run Mon Aug 24 21:39:41 2015 +0200 @@ -1,7 +1,11 @@ #!/bin/bash -platform=$(basename ${1?platform}) -shift +export LC_ALL=C + +platforms=${1-$(find platforms -mindepth 1 -maxdepth 1 -type d)} -docker run --hostname foo.site -i -t eximtest/$platform "$@" \ - |& tee log.$platform +for platform in $platforms; do + system=$(basename $platform) + docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \ + |& tee out/log.$system +done