From 7f91de819e628d39b90ca6488b9c5c213c2067cf Mon Sep 17 00:00:00 2001 From: Marc Fehling Date: Sat, 30 Sep 2023 13:00:30 -0600 Subject: [PATCH] Docker: fix order of ARGS in Dockerfile. --- contrib/docker/Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 -- 2.39.5