http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47699 --- Comment #2 from Olaf van der Spek <olafvdspek at gmail dot com> 2011-02-11 16:44:21 UTC --- Nice! I actually read about that at http://gcc.gnu.org/onlinedocs/gcc/Precompiled-Headers.html but didn't realize -include was a command line option.