From d023c28487066e4565681164e7c01bddabd72255 Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Mon, 10 Sep 2018 17:33:58 +0200
Subject: [PATCH] Options before position args in old Docker?

---
 docker/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/build.sh b/docker/build.sh
index cc9f088aee6..ef7c6ae32a9 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -5,4 +5,4 @@ set -x
 
 image="$1"
 cd $(dirname $0)
-docker build . -f "$image/Dockerfile" -t "$image"
+docker build -f "$image/Dockerfile" -t "$image" .