r210395 - in /trunk/gcc: ChangeLog opts.c

[ccoutant@gcc.gnu.org]

Author: ccoutant
Date: Tue May 13 17:55:30 2014
New Revision: 210395

URL: http://gcc.gnu.org/viewcvs?rev=210395&root=gcc&view=rev
Log:
Force the use of -ggnu-pubnames when using -gsplit-dwarf.

gcc/
	* opts.c (finish_options): Use -ggnu-pubnames with -gsplit-dwarf.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/opts.c