From: Timo Heister Date: Sat, 1 Aug 2020 14:43:16 +0000 (-0400) Subject: jenkins: use Og on tester X-Git-Tag: v9.3.0-rc1~1157^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2b6eae3cbb2fa4346bc1991add34c3f8a48d557f;p=dealii.git jenkins: use Og on tester Try to see if tests run faster when using Og instead of O0. --- diff --git a/Jenkinsfile b/Jenkinsfile index 0c9398345a..ed9f60c85e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -137,6 +137,7 @@ pipeline cd /home/dealii/build cmake -G "Ninja" \ -D DEAL_II_CXX_FLAGS='-Werror' \ + -D DEAL_II_CXX_FLAGS_DEBUG='-Og' \ -D CMAKE_BUILD_TYPE=Debug \ -D DEAL_II_WITH_MPI=OFF \ -D DEAL_II_UNITY_BUILD=ON \ @@ -191,6 +192,7 @@ pipeline cd /home/dealii/build cmake -G "Ninja" \ -D DEAL_II_CXX_FLAGS='-Werror' \ + -D DEAL_II_CXX_FLAGS_DEBUG='-Og' \ -D CMAKE_BUILD_TYPE=Debug \ -D DEAL_II_WITH_MPI=ON \ -D DEAL_II_UNITY_BUILD=OFF \