From 880ec6e9bca06fb40c8680acd5be4810a7e286c8 Mon Sep 17 00:00:00 2001 From: Peter Munch Date: Thu, 10 Dec 2020 22:34:11 +0100 Subject: [PATCH] Jenkins: use -Og --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 \ -- 2.39.5