summaryrefslogtreecommitdiff
path: root/gcc/opts.c
diff options
context:
space:
mode:
authorccoutant <ccoutant@138bc75d-0d04-0410-961f-82ee72b054a4>2014-05-13 17:55:30 +0000
committerccoutant <ccoutant@138bc75d-0d04-0410-961f-82ee72b054a4>2014-05-13 17:55:30 +0000
commit74b212524d8d6bdaa8b4234abfc55b5f97095be4 (patch)
tree747d81aec74f546593c67ffb9c02bee8e49ad8e4 /gcc/opts.c
parent02b19aed916c16b507b9cdd189368585e5c9aaee (diff)
downloadgcc-74b212524d8d6bdaa8b4234abfc55b5f97095be4.tar.gz
Force the use of -ggnu-pubnames when using -gsplit-dwarf.
gcc/ * opts.c (finish_options): Use -ggnu-pubnames with -gsplit-dwarf. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210395 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/opts.c')
-rw-r--r--gcc/opts.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/opts.c b/gcc/opts.c
index f15852d69a0..269cd93ea69 100644
--- a/gcc/opts.c
+++ b/gcc/opts.c
@@ -857,9 +857,9 @@ finish_options (struct gcc_options *opts, struct gcc_options *opts_set,
maybe_set_param_value (PARAM_MAX_STORES_TO_SINK, 0,
opts->x_param_values, opts_set->x_param_values);
- /* The -gsplit-dwarf option requires -gpubnames. */
+ /* The -gsplit-dwarf option requires -ggnu-pubnames. */
if (opts->x_dwarf_split_debug_info)
- opts->x_debug_generate_pub_sections = 1;
+ opts->x_debug_generate_pub_sections = 2;
}
#define LEFT_COLUMN 27