Skip to content

DuneMPI: add spaces around linker flags

Same reasoning as 4063acee applies, however there is no LINK_OPTIONS that could be used instead of LINK_FLAGS 1. So just add some spaces to make sure that distinct options aren't joined by accident.

Merge request reports