Skip to content
Snippets Groups Projects
Select Git revision
  • 342ba2dd81fefe1c6305af57187302aaea9249bf
  • master default protected
  • klee-analysis
  • v0.2.0
  • v0.1.2
  • v0.1.1
  • v0.1.0
7 results

run-docker.sh

Blame
  • run-docker.sh 386 B
    set -ex
    
    run() {
        echo $1
    
        docker build -t rust ci/docker/$1
        docker run \
               -v `rustc --print sysroot`:/rust:ro \
               -v `pwd`:/checkout:ro \
               -e CARGO_TARGET_DIR=/tmp/target \
               -w /checkout \
               -it rust \
               ci/run.sh $1
    }
    
    if [ -z "$1" ]; then
        for d in `ls ci/docker/`; do
            run $d
        done
    else
        run $1
    fi