diff --git a/Jenkinsfile b/Jenkinsfile index e6715cedc283207761bf0a1d90a25c784e0e7b8b..ad89fa25fdb20c1f44d155d87d9a81e31e007ad3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -487,7 +487,7 @@ pipeline { '"-DCMAKE_CXX_INCLUDE_WHAT_YOU_USE=include-what-you-use;-Xiwyu;--mapping_file=../scripts/jenkins/iwyu-mappings.imp" ' + '-DCMAKE_LINK_WHAT_YOU_USE=ON ' + '"-DCMAKE_CXX_CPPCHECK=cppcheck;--std=c++11;--language=c++;--suppress=syntaxError;--suppress=preprocessorErrorDirective:*/ThirdParty/*;--suppress=preprocessorErrorDirective:*conan*/package/*" ' + - '-DCMAKE_CXX_CLANG_TIDY=clang-tidy-3.9 ' + '-DCMAKE_CXX_CLANG_TIDY=clang-tidy-5.0 ' config = 'Release' } try {