From 5a7689ab6b78daf8201a2629024d6278052553d7 Mon Sep 17 00:00:00 2001
From: Andrea Borghi <andrea.borghi@camptocamp.com>
Date: Mon, 13 Apr 2020 13:35:04 +0200
Subject: [PATCH] add mapserver repository as --build-arg

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 0ff8df3b..99ef29aa 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,8 +11,9 @@ RUN apt-get update && \
     rm -rf /var/lib/apt/lists/*
 
 ARG MAPSERVER_BRANCH
+ARG MAPSERVER_REPO=https://github.com/mapserver/mapserver
 
-RUN git clone https://github.com/mapserver/mapserver --branch=${MAPSERVER_BRANCH} --depth=100 /src
+RUN git clone ${MAPSERVER_REPO} --branch=${MAPSERVER_BRANCH} --depth=100 /src
 
 COPY checkout_release /tmp
 RUN cd /src; /tmp/checkout_release ${MAPSERVER_BRANCH}