#!/usr/bin/bash

mkdir -p release
docker run \
    --rm \
    -it \
    -v `pwd`/release:/tmp/release \
    registry.gitlab.inria.fr/qdufour/donar \
    cp /usr/local/bin/{tor2,tor3,dcall,donar,measlat} /tmp/release