Skip to content
Snippets Groups Projects
Select Git revision
  • 0ee83922508b54224cc72dd599a42f1e3f32bd99
  • master default protected
2 results

lib.rs

Blame
  • Forked from KLEE / klee-sys
    Source project has a limited visibility.
    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