Fix debug

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 79db1b956570258179b58adb30ca75e1745f391d..0f9f9342b5a78536ce2ebfa4099513fbe9864f56 100644 (file)
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -6,7 +6,6 @@ USER root
 RUN cd /usr/src \
     && git clone https://github.com/dealii/dealii \
     && cd dealii && mkdir build && cd build \
-    && cat share/deal.II/template-arguments \
     && cmake -GNinja \
     -DCMAKE_PREFIX_PATH="/usr/lib/x86_64-linux-gnu/hdf5/openmpi;/usr/include/hdf5/openmpi" \
     -DDEAL_II_ALLOW_AUTODETECTION=OFF \
@@ -44,6 +43,7 @@ RUN cd /usr/src \
     -DDEAL_II_WITH_UMFPACK=ON \
     -DDEAL_II_WITH_ZLIB=ON \
     .. \
+    && cat share/deal.II/template-arguments \
     && ninja -j 2 install \
     && cd ../ && rm -rf .git build