Re: [ros-dev] 52061 [jgardou] [CMAKE], "According to gcc doc, if header.h is precompiled, the output should be named "header.h.gch" and not anything else.", Knowing it was the first step before actually doing it :-/

2 Jun 2011

Maybe they are not so important -- when they were off for quite some
time due to a bug in rbuild, nobody ever noticed...