diff --git a/Jenkinsfile b/Jenkinsfile index 080cb3621a213dece1a6420320d94c4e59260121..d7ec33642628951d745ec8a4cf4468bfef1ef26d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -116,6 +116,10 @@ pipeline { '-DOGS_USE_MFRONT=ON ' + '-DOGS_USE_PYTHON=ON ' } + // Workaround some MGIS CMake logic flaws + configure { + keepDir = true + } build { target="package" log="build1.log"