run
changeset 25 ee88a1d1f2c6
parent 21 9d572c2d6803
child 26 cee1b738fa67
equal deleted inserted replaced
24:ce7d3cef35b7 25:ee88a1d1f2c6
     1 #!/bin/bash
     1 #!/bin/bash
     2 
     2 
     3 export LC_ALL=C
     3 export LC_ALL=C
     4 
     4 
     5 platforms=${1-$(find platforms -mindepth 1 -maxdepth 1 -type d)}
     5 if test "$@"; then
       
     6     platforms="$1"
       
     7     shift
       
     8 else
       
     9     platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d)
       
    10 fi
     6 
    11 
     7 for platform in $platforms; do
    12 for platform in $platforms; do
     8     system=$(basename $platform)
    13     system=$(basename $platform)
     9     docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \
    14     docker run --hostname foo.site -i -t eximtest/$system -CONTINUE "$@" \
    10 	|& tee out/log.$system
    15 	|& tee out/log.$system