From 39ec4048d7c205dabdcbf6936e930795aa36cfb4 Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Fri, 24 Feb 2023 07:52:40 -0500 Subject: [PATCH] Checkout correct branch --- contrib/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile index 47abe1d7fe..2eae4b830a 100644 --- a/contrib/docker/Dockerfile +++ b/contrib/docker/Dockerfile @@ -4,7 +4,7 @@ LABEL maintainer="luca.heltai@gmail.com" USER root RUN cd /usr/src \ - && git clone https://github.com/dealii/dealii \ + && git clone https://github.com/dealii/dealii -b docker_restrict_tpetra_vector_instantiations \ && cd dealii && mkdir build && cd build \ && cmake -GNinja \ -DCMAKE_PREFIX_PATH="/usr/lib/x86_64-linux-gnu/hdf5/openmpi;/usr/include/hdf5/openmpi" \ -- 2.39.5