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



--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-08 
20:13:17 UTC ---

Author: jakub

Date: Thu Nov  8 20:13:13 2012

New Revision: 193337



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193337

Log:

    PR driver/54789

    * gcc.c (process_command): Use save_switch for synthesized

    -fcompare-debug=* option; mark the switch as known.



Modified:

    trunk/gcc/ChangeLog

    trunk/gcc/gcc.c

Reply via email to