]> git.ipfire.org Git - thirdparty/gcc.git/commit
re PR driver/54789 (Error in GCC driver when defining GCC_COMPARE_DEBUG)
authorDmitry Gorbachev <d.g.gorbachev@gmail.com>
Thu, 8 Nov 2012 20:13:13 +0000 (20:13 +0000)
committerJakub Jelinek <jakub@gcc.gnu.org>
Thu, 8 Nov 2012 20:13:13 +0000 (21:13 +0100)
commit3ad2d621f5734d25a75ef3bfa27bb5efe832f066
tree870f298e7cfa4646a81ea4c81d1b771060207602
parent1f242a02061f90632dba3025bebaed32e43d6340
re PR driver/54789 (Error in GCC driver when defining GCC_COMPARE_DEBUG)

PR driver/54789
* gcc.c (process_command): Use save_switch for synthesized
-fcompare-debug=* option; mark the switch as known.

From-SVN: r193337
gcc/ChangeLog
gcc/gcc.c