debug output

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 9ba8fca5c520d97b5720b153e58f1ebb4e00dfab..79db1b956570258179b58adb30ca75e1745f391d 100644 (file)
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -6,6 +6,7 @@ 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 \