http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48865

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-05-04 
12:11:04 UTC ---
Teach them to how to pipe the output of gcc -E -dD to grep, it'll do them good
in the long run.

Reply via email to