Skip to content
GitLab
Explore
Sign in
Gaudi
Gaudi
Merge requests
!402
Improve compiler options settings
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marco Clemencic
requested to merge
clemenci/Gaudi:improve-compiler-options-settings
into
master
Sep 19, 2017
Overview
2
Commits
2
Pipelines
1
Changes
1
Expand
make sure that changes to some options are correctly reflected in cached build flags
allow enabling of colors in compiler diagnostics (off by default)
Merge request reports