Commit 37ada19c authored by Oliver Sander's avatar Oliver Sander

[!354] Properly use SOURCES in dune_add_library

Merge branch 'use-SOURCES-in-dune-add-library' into 'master'

ref:core/dune-grid dune_add_library implicitly treats all unclaimed trailing
arguments as source file names, but explicitly marking those as SOURCE makes
the code more readable.

See merge request [!354]

  [!354]: gitlab.dune-project.org/core/dune-grid/merge_requests/354
parents d91ccd8c 07001df0
Pipeline #21258 passed with stage
in 39 minutes