On 4 June 2018 at 05:49, François Leblanc wrote: > With GCC 6.3.0 at least, if you try to compile a precompiled header witch > include an another header that you have already precompiled, it don't use > the precompiled one but the no precompiled. This is clearly documented: "A precompiled header file can be used only when these conditions apply: - Only one precompiled header can be used in a particular compilation." https://gcc.gnu.org/onlinedocs/gcc/Precompiled-Headers.html
