Skip to content
Snippets Groups Projects
Commit c6d76298 authored by Robert K's avatar Robert K
Browse files

[bugfix][Python] ENABLE_HEADERCHECK cannot be set for dune-py. It simply

fails.
parent e547ab20
No related branches found
No related tags found
1 merge request!1371[bugfix][Python] ENABLE_HEADERCHECK cannot be set for dune-py.
Pipeline #70607 passed
Pipeline: Dune Nightly Test

#70632

    ......@@ -28,7 +28,8 @@ set({{ mod }}_DIR {{ dir }})
    {%- endfor %}
    {% for flag, value in cmake_flags.items() -%}
    {% if flag != "" %}
    # ENABLE_HEADERCHECK cannot be set in dune-py since this will simply not work
    {% if flag != "" and flag != "ENABLE_HEADERCHECK" %}
    # boolean flags need to be forced to be written to the cache
    # otherwise they will be overwritten by the default from dune-common
    {% if value == True %}
    ......
    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