On 08/10/2016 03:06 PM, Pedro Alves wrote: > Since you're problably going to use sed to patch the files, including > some new file instead of config.h should be about the same work.
Note, above I was assuming that if you include the gnulib config.h file in system.h, then you're going to move the inclusion of gcc's own config.h to system.h as well, to keep the inclusions nicely together, like gdb does. Obviously if you leave gcc's config.h inclusions where they are, then it's a smaller patch. Maybe start with just changing system.h, and leave removing all the current config.h inclusions to a separate pass later (but not never). > Up to gcc maintainers to decide. Thanks, Pedro Alves
