Merge branch 'bugfix/DuneMPI-use-COMPILE_OPTIONS' into 'master' (!500) · Merge requests · Core Modules / dune-common

Merged Ansgar Burchardt requested to merge cherry-pick-96ed065a into releases/2.6 6 years ago

May 29, 2018

Merge branch 'bugfix/DuneMPI-use-COMPILE_OPTIONS' into 'master' · 2099a82c

DuneMPI: append flags to `COMPILE_OPTIONS` instead of `COMPILE_FLAGS`

See merge request !499

(cherry picked from commit 96ed065a)

4063acee DuneMPI: append flags to `COMPILE_OPTIONS` instead of `COMPILE_FLAGS`

2099a82c

Merge branch 'bugfix/DuneMPI-use-COMPILE_OPTIONS' into 'master'

Merge request reports

Activity