From 60b27ad3c9972b993a18aef8e47eb76888d2719d Mon Sep 17 00:00:00 2001
From: Nils Wentzell <nwentzell@flatironinstitute.org>
Date: Thu, 20 Jan 2022 15:38:11 -0500
Subject: [PATCH] [jenkins] Build argument -DBuild_Deps=Always no longer
 needed, is now the default

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 015cd74b..5502cd9d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,6 +11,6 @@ RUN chown build .
 USER build
 ARG BUILD_ID
 ARG CMAKE_ARGS
-RUN cmake $SRC/$APPNAME -DTRIQS_ROOT=${INSTALL} -DBuild_Deps=Always $CMAKE_ARGS && make -j4 || make -j1 VERBOSE=1
+RUN cmake $SRC/$APPNAME -DTRIQS_ROOT=${INSTALL} $CMAKE_ARGS && make -j4 || make -j1 VERBOSE=1
 USER root
 RUN make install