From: Marc Fehling <mafehling.git@gmail.com>
Date: Thu, 28 Sep 2023 17:00:51 +0000 (-0600)
Subject: Docker: Use one process to decrease memory usage.
X-Git-Tag: relicensing~461^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F16060%2Fhead;p=dealii.git

Docker: Use one process to decrease memory usage.
---

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 4cebdaf2ae..c2a0570ca8 100644
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -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