Skip to content
Snippets Groups Projects
Commit 4acc31ef authored by Oliver Sander's avatar Oliver Sander
Browse files

Actually do enable the UG Debug mode in the CI script

The previous way to enable it didn't actually work.
parent 927e6206
No related branches found
No related tags found
1 merge request!160Fix Debug mode
......@@ -61,4 +61,4 @@ debian:10 gcc-8-17 debug:
image: registry.dune-project.org/docker/ci/debian:10
variables:
DUNECI_TOOLCHAIN: gcc-8-17
DUNECI_CMAKE_FLAGS: "-DDebug=1"
DUNECI_CMAKE_FLAGS: "-DUG_ENABLE_DEBUGGING:BOOL=1"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment