diff --git a/Jenkinsfile b/Jenkinsfile index 937b34f4b40b9edd1c8f506ee2b3ee1e0b7f0232..c3feecd8b11d5112ea288c799b7ed29488c48bd6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -145,6 +145,7 @@ pipeline { excludeFile('.*\\.conan.*/TFEL/.*'), excludeFile('.*ThirdParty/MGIS/src.*'), excludeFile('.*MaterialLib/SolidModels/MFront/.*\\.mfront'), + excludeFile('.*MaterialLib/SolidModels/MFront/.*\\.hxx'), excludeMessage('.*tmpnam.*')], tools: [gcc4(name: 'GCC', pattern: 'build/build*.log')], unstableTotalAll: 1