From fdeb8253c8f32178984c10929d202a6b5356133b Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Thu, 23 Feb 2023 22:54:37 -0500 Subject: [PATCH] More dbug output --- contrib/docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5