From: Marc Fehling 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