]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Docker: Use one process to decrease memory usage. 16060/head
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 28 Sep 2023 17:00:51 +0000 (11:00 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Thu, 28 Sep 2023 17:00:51 +0000 (11:00 -0600)
contrib/docker/Dockerfile

index 4cebdaf2ae96270218e8e82b2a88879e17f997db..c2a0570ca8158f5382c1ee5bb5805e3bfc26f416 100644 (file)
@@ -50,7 +50,7 @@ RUN cd /usr/src && \
     -DDEAL_II_WITH_VTK=ON \
     -DDEAL_II_WITH_ZLIB=ON \
     .. \
-    && ninja -j 2 install \
+    && ninja -j 1 install \
     && cd ../ && rm -rf .git build
 
 USER $USER

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.