Skip to content
Snippets Groups Projects

Remove the cmake variable DUNE_DEFAULT_LIBS

Merged Remove the cmake variable DUNE_DEFAULT_LIBS
feature/remove-dune-default-libs-variable into master
Merged Simon Praetorius requested to merge feature/remove-dune-default-libs-variable into master

Summary

The variable DUNE_DEFAULT_LIBS is exactly identical to DUNE_LIBS and can thus be removed.

Merge request reports

Pipeline #40286 passed

Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#40290

    Pipeline passed for 6337695e on feature/remove-dune-default-libs-variable

    Merged by Simon PraetoriusSimon Praetorius 3 years ago (Oct 14, 2021 10:12pm UTC)

    Loading

    Pipeline #40293 passed

    Stage: test
    Stage: downstream
    Pipeline: Dune Nightly Test

    #40295

      Pipeline passed for 7c822c05 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