Skip to content
Snippets Groups Projects
Commit 316d3063 authored by Maziar Veyskarami's avatar Maziar Veyskarami
Browse files

Merge branch 'cherry-pick-1aaef357' into 'releases/3.10'

[cleanup] Remove arguement to finalize_dune_project

See merge request !313
parents ff8b22a8 a0489bc6
No related branches found
No related tags found
2 merge requests!321Merge branch 'update-intallscript-3.10' into 'master',!313[cleanup] Remove arguement to finalize_dune_project
...@@ -26,4 +26,4 @@ dune_enable_all_packages() ...@@ -26,4 +26,4 @@ dune_enable_all_packages()
add_subdirectory(exercises) add_subdirectory(exercises)
# finalize the dune project, e.g. generating config.h etc. # finalize the dune project, e.g. generating config.h etc.
finalize_dune_project(GENERATE_CONFIG_H_CMAKE) finalize_dune_project()
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