Merge branch 'feature/overload-compiler-script' into 'master' (!233) · Merge requests · Core Modules / dune-common · GitLab

Robert K requested to merge cherry-pick-dc93e7a5 into releases/2.5 Apr 21, 2017

OverloadCompilerFlags: cache string with default compiler flags passed

See merge request !209 (merged)