diff --git a/Jenkinsfile b/Jenkinsfile index 784fc0297e5caf789e70ba1db76e164c58d0ce30..9a037d8efa75595b257997c86e4ea0e622a5050b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -453,7 +453,7 @@ pipeline { '-DOGS_DOWNLOAD_ADDITIONAL_CONTENT=ON ' + '-DOGS_BUILD_GUI=ON ' + '-DOGS_BUILD_UTILS=ON ' + - '-DCMAKE_OSX_DEPLOYMENT_TARGET="10.13" ' + '-DCMAKE_OSX_DEPLOYMENT_TARGET="10.14" ' } build { target="package"