PR driver/54789
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 Nov 2012 20:13:13 +0000 (20:13 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 Nov 2012 20:13:13 +0000 (20:13 +0000)
commitc5f21b95fe2dc1339d0e3f598927c2c2769a10e2
tree870f298e7cfa4646a81ea4c81d1b771060207602
parent93e8e72c20c35dc7e50483dc027a97470ba705e2
PR driver/54789
* gcc.c (process_command): Use save_switch for synthesized
-fcompare-debug=* option; mark the switch as known.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193337 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/gcc.c