Docker: Use one process to decrease memory usage.

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 4cebdaf2ae96270218e8e82b2a88879e17f997db..c2a0570ca8158f5382c1ee5bb5805e3bfc26f416 100644 (file)
--- 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