Merge pull request #57 from camptocamp/add_optional_external_repo

add mapserver repository as --build-arg
camptocamp · Apr 16, 2020 · 68d2921 · 68d2921
2 parents 33f60b4 + 5a7689a
commit 68d2921
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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}