| changeset 15 | b9822060de6b |
| parent 14 | 6a83ee58d034 |
| child 21 | 9d572c2d6803 |
| 14:6a83ee58d034 | 15:b9822060de6b |
|---|---|
1 #!/bin/bash |
1 #!/bin/bash |
2 |
2 |
3 platform=$(basename ${1?platform}) |
3 platform=$(basename ${1?platform}) |
4 shift |
4 shift |
5 |
5 |
6 docker run --hostname foo.site -i -t eximtest/$platform "$@" |
6 docker run --hostname foo.site -i -t eximtest/$platform "$@" \ |
7 |& tee log.$platform |