Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add MVP implementation of overriding options. #1457
Allow (eventually) overriding any options. Uses include:
This is a rough idea, refinement comments welcome.
This was referenced
Mar 12, 2017
The rest of it looks good to me. The nice part about this rework is that at most some options won't be properly overriden per-target, which shouldn't cause regressions and can be fixed when reported.