From 86a476cc47604f8b78b76cb6b166ccf2296f716e Mon Sep 17 00:00:00 2001
From: Quentin <quentin@deuxfleurs.fr>
Date: Sun, 2 Feb 2020 00:02:42 +0100
Subject: [PATCH] Force pull before xp

---
 scripts/run-3 | 1 +
 1 file changed, 1 insertion(+)

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 \