[ros-diffs] [jgardou] 52061: [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 :-/