Skip to content
Snippets Groups Projects
Commit 140e6aa1 authored by Simon Praetorius's avatar Simon Praetorius
Browse files

Merge branch 'feature/update-finalize-dune-project' into 'master'

Remove argument from cmake command finalize_dune_project

See merge request !1325
parents 762b26e5 e5a5e961
No related branches found
No related tags found
1 merge request!1325Remove argument from cmake command finalize_dune_project
Pipeline #67007 passed with warnings
Pipeline: Dune Nightly Test

#67008

    ......@@ -75,7 +75,7 @@ set( UNIXCMD_SCRIPT_FILE "[
    file(WRITE "${CMAKE_BINARY_DIR}/unix_commands.json" ${UNIXCMD_SCRIPT_FILE})
    finalize_dune_project(GENERATE_CONFIG_H_CMAKE)
    finalize_dune_project()
    # we are done, so release lock
    message("---- RELEASE")
    ......
    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