| changeset 21 | 9d572c2d6803 | 
| parent 15 | b9822060de6b | 
| child 25 | ee88a1d1f2c6 | 
| 20:3f164cb8d543 | 21:9d572c2d6803 | 
|---|---|
1 #!/bin/bash  | 
1 #!/bin/bash  | 
2  | 
2  | 
3 platform=$(basename ${1?platform})  | 
3 export LC_ALL=C  | 
4 shift  | 
|
5  | 
4  | 
6 docker run --hostname foo.site -i -t eximtest/$platform "$@" \  | 
5 platforms=${1-$(find platforms -mindepth 1 -maxdepth 1 -type d)}  | 
7 |& tee log.$platform  | 
6  | 
7 for platform in $platforms; do  | 
|
8 system=$(basename $platform)  | 
|
9 docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \  | 
|
10 |& tee out/log.$system  | 
|
11 done  |