diff --git a/Jenkinsfile b/Jenkinsfile index 1f0dfd936e8a54f3fabbe51b4982fa75663046fe..048971fa1a0a2fe36d44f9d55581a04dd2911920 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -216,7 +216,8 @@ pipeline { '-DOGS_BUILD_UTILS=ON ' + '-DOGS_BUILD_TESTS=OFF ' + '-DOGS_BUILD_SWMM=ON ' + - '-DOGS_BUILD_METIS=ON ' + '-DOGS_BUILD_METIS=ON ' + + '-DOGS_PACKAGE_DEPENDENCIES=ON ' keepDir = true } build { }