From: Daniel Arndt <arndtd@ornl.gov>
Date: Fri, 24 Feb 2023 03:54:37 +0000 (-0500)
Subject: More dbug output
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fdeb8253c8f32178984c10929d202a6b5356133b;p=dealii.git

More dbug output
---

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 0f9f9342b5..47abe1d7fe 100644
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -44,6 +44,7 @@ RUN cd /usr/src \
     -DDEAL_II_WITH_ZLIB=ON \
     .. \
     && cat share/deal.II/template-arguments \
+    && cat ../include/deal.II/numerics/vector_tools_mean_value.templates.h \
     && ninja -j 2 install \
     && cd ../ && rm -rf .git build