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

Ansgar Burchardt requested to merge cherry-pick-96ed065a into releases/2.6 May 29, 2018

DuneMPI: append flags to COMPILE_OPTIONS instead of COMPILE_FLAGS

See merge request !499 (merged)

(cherry picked from commit 96ed065a)

4063acee DuneMPI: append flags to COMPILE_OPTIONS instead of COMPILE_FLAGS