From 6ea99917409fa1c9d768a3b5ff6b515dfd3a3358 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 3 Jul 2022 19:05:26 -0400
Subject: [PATCH] use 2 cores

---
 contrib/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 1b8086e800..a93096c36e 100644
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -13,7 +13,7 @@ RUN cd /usr/src \
     -DDEAL_II_WITH_MPI=ON \
     -DCMAKE_CXX_FLAGS="-std=c++17" \
     .. \  
-    && ninja install \
+    && ninja -j 2 install \
     && cd ../ && rm -rf .git build
 
 USER $USER
-- 
2.39.5