http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52566
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-03-14 10:46:54 UTC --- If you want to use #pragma once the simplest solution might be to put a unique comment in each file, with e.g. just the filename, or a description of its purpose
