]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Docker: fix order of ARGS in Dockerfile. 16071/head
authorMarc Fehling <mafehling.git@gmail.com>
Sat, 30 Sep 2023 19:00:30 +0000 (13:00 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Sat, 30 Sep 2023 19:15:37 +0000 (13:15 -0600)
contrib/docker/Dockerfile

index 48936a5d8950ab7235f66f5e04e9fa8b7611697f..0d545fbe89a5d3e4c25b61f686a345eb5f0fa8a3 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.