run
changeset 21 9d572c2d6803
parent 15 b9822060de6b
child 25 ee88a1d1f2c6
equal deleted inserted replaced
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