Snippets Groups Projects

There was a problem fetching the pipeline summary.

Commit 96ed065a authored 6 years ago by Ansgar Burchardt

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

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

See merge request !499

parents 7b2d907b 4063acee

Branches

Tags

Pipeline #

Hide whitespace changes

Inline Side-by-side

Showing with 1 addition and 1 deletion

Ansgar Burchardt @ansgar
mentioned in commit 2099a82c
· 6 years ago

mentioned in commit 2099a82c

mentioned in commit 2099a82cec5314c430644e1a4fc14045d29bac6d

Toggle commit list
Ansgar Burchardt @ansgar
mentioned in merge request !500 (merged)
· 6 years ago

mentioned in merge request !500 (merged)

mentioned in merge request !500

Toggle commit list
Ansgar Burchardt @ansgar
mentioned in commit 043e90a0
· 6 years ago

mentioned in commit 043e90a0

mentioned in commit 043e90a006dafea5fbd40b86d8d1c614ad9aab1e

Toggle commit list

Please register or to comment