-
Ansgar Burchardt authored
This is easier than setting CMAKE_FLAGS directly in .gitlab-ci.yml and allows to change options in a central place (or two places).
This is easier than setting CMAKE_FLAGS directly in .gitlab-ci.yml and allows to change options in a central place (or two places).