From 64279d2a01e15ebb260b11202814b6b91589cb4d Mon Sep 17 00:00:00 2001 From: Marc Fehling Date: Thu, 28 Sep 2023 11:00:51 -0600 Subject: [PATCH] Docker: Use one process to decrease memory usage. --- contrib/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5