This patch allows customization of precompiled headers in Platform files.
Created attachment 271954 [details] Patch
Created attachment 272002 [details] Patch
Comment on attachment 272002 [details] Patch I don't think this reduces complexity at all. Why is this a useful change?
It allows setting different precompiled headers for different ports.. OK, I probably shoudn't have submitted this change until PCH support for gcc/clang is ready.
Comment on attachment 272002 [details] Patch I agree. As-is, this patch adds nothing, but it makes it a little harder to see what is going on with the precompiled headers.