Merge pull request #226 from jordanlewis/betterheaders
Optimize header dependencies; improve Makefile dependency graph
Description
Description
Details
Details
- Provenance
Jeff Garzik <jgarzik@exmulti.com> Authored on Jun 14 2011, 09:05 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGING31f293128177: Only include certain boost headers if necessary.
rSTAGINGc02ec542691b: FormatFullVersion: build fix related to recent translation improvement - Branches
- Unknown
- Tags
Merged Changes
Merged Changes