Skip to content
Snippets Groups Projects

dune_add_library: handle object library with `SOURCES` option

Merged dune_add_library: handle object library with `SOURCES` option
ansgar/dune-common:dune_add_library-OBJECT-SOURCES into master
Merged Ansgar Burchardt requested to merge ansgar/dune-common:dune_add_library-OBJECT-SOURCES into master

Previously the OBJECT path of dune_add_library would only use the unparsed arguments. Source files specified via the SOURCES option were ignored.

Merge request reports

Pipeline #21229 passed

Stage: test

Pipeline passed for 4001dcdb on ansgar:dune_add_library-OBJECT-SOURCES

Merged by Ansgar BurchardtAnsgar Burchardt 5 years ago (Sep 17, 2019 2:32pm UTC)

Loading

Pipeline #21231 passed

Stage: test

Pipeline passed for 4e75609b on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply