Checkout correct branch

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 47abe1d7fee52995b6c44df2209e12d4840f5ec2..2eae4b830a4649baf7557dd625abd70e52c1a708 100644 (file)
--- 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" \