From c72556e39d571b2aa2853d97c9449c8db6c47f44 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Offringa?= <offringa@gmail.com>
Date: Mon, 29 Nov 2021 15:07:42 +0100
Subject: [PATCH] Switch to Dp3 master

Former-commit-id: 7e4163ee86b3bdf11740897ed5487c31900460c5
---
 Docker/Dockerfile | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/Docker/Dockerfile b/Docker/Dockerfile
index 94c03ae0..89175eba 100644
--- a/Docker/Dockerfile
+++ b/Docker/Dockerfile
@@ -82,14 +82,8 @@ RUN \
   cmake ../ -DCMAKE_INSTALL_PREFIX=/usr/local/ && \
   make install -j`nproc`
 
-# We currently checkout a specific version of DP3 because there's
-# currently a bug in the solver in the master branch. Once this is
-# solved we should again use master, and the clone cmd should be changed
-# back to:
-#  git clone https://git.astron.nl/RD/DP3.git --depth 1 && 
 RUN \
-  git clone https://git.astron.nl/RD/DP3.git && \
-  cd DP3 && git checkout 1eadf43fee5ac76f48611fdd1fd464ebda8c0b6d && cd .. && \
+  git clone https://git.astron.nl/RD/DP3.git --depth 1 && \
   mkdir DP3/build && \
   cd DP3/build && \
   cmake ../ \
-- 
GitLab