From: Peter Munch Date: Thu, 10 Dec 2020 21:34:11 +0000 (+0100) Subject: Jenkins: use -Og X-Git-Tag: v9.3.0-rc1~771^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11355%2Fhead;p=dealii.git Jenkins: use -Og --- diff --git a/Jenkinsfile b/Jenkinsfile index fdc7b4174c..ed9f60c85e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -137,7 +137,7 @@ pipeline cd /home/dealii/build cmake -G "Ninja" \ -D DEAL_II_CXX_FLAGS='-Werror' \ - -D DEAL_II_CXX_FLAGS_DEBUG='-O1' \ + -D DEAL_II_CXX_FLAGS_DEBUG='-Og' \ -D CMAKE_BUILD_TYPE=Debug \ -D DEAL_II_WITH_MPI=OFF \ -D DEAL_II_UNITY_BUILD=ON \ @@ -192,7 +192,7 @@ pipeline cd /home/dealii/build cmake -G "Ninja" \ -D DEAL_II_CXX_FLAGS='-Werror' \ - -D DEAL_II_CXX_FLAGS_DEBUG='-O1' \ + -D DEAL_II_CXX_FLAGS_DEBUG='-Og' \ -D CMAKE_BUILD_TYPE=Debug \ -D DEAL_II_WITH_MPI=ON \ -D DEAL_II_UNITY_BUILD=OFF \