From: Marc Fehling <mafehling.git@gmail.com>
Date: Sat, 30 Sep 2023 19:00:30 +0000 (-0600)
Subject: Docker: fix order of ARGS in Dockerfile.
X-Git-Tag: relicensing~454^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7f91de819e628d39b90ca6488b9c5c213c2067cf;p=dealii.git

Docker: fix order of ARGS in Dockerfile.
---

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 48936a5d89..0d545fbe89 100644
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -1,9 +1,10 @@
 ARG IMG=focal    # Ubuntu image that contains all corresponding dependencies.
-ARG NJOBS=0      # Jobs used for building. Default: Use all available jobs.
-ARG VER=master   # deal.II branch that gets checked out.
 
 FROM dealii/dependencies:$IMG
 
+ARG NJOBS=0      # Jobs used for building. Default: Use all available jobs.
+ARG VER=master   # deal.II branch that gets checked out.
+
 LABEL maintainer="luca.heltai@gmail.com"
 
 USER root