diff --git a/scripts/run-3 b/scripts/run-3 index f7dd03b..aad4727 100755 --- a/scripts/run-3 +++ b/scripts/run-3 @@ -39,6 +39,7 @@ done echo ":: Bootstrap" echo "Create output folder..." +docker pull registry.gitlab.inria.fr/qdufour/donar docker run \ --rm \ --user root \