[jenkins] Build argument -DBuild_Deps=Always no longer needed, is now…

… the default
70akaline · Jan 20, 2022 · 60b27ad · 60b27ad
1 parent 4b6cc21
commit 60b27ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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