diff options
| author | Cary Coutant <ccoutant@google.com> | 2014-05-13 17:55:30 +0000 |
|---|---|---|
| committer | Cary Coutant <ccoutant@gcc.gnu.org> | 2014-05-13 10:55:30 -0700 |
| commit | bd5c3baaa9066243a3eb2e584534277878657b20 (patch) | |
| tree | 747d81aec74f546593c67ffb9c02bee8e49ad8e4 /gcc/ada/gcc-interface/decl.c | |
| parent | 6626c52e1a6af7b32200ec1bf22fc790e5717480 (diff) | |
| download | gcc-bd5c3baaa9066243a3eb2e584534277878657b20.zip gcc-bd5c3baaa9066243a3eb2e584534277878657b20.tar.gz gcc-bd5c3baaa9066243a3eb2e584534277878657b20.tar.bz2 | |
Force the use of -ggnu-pubnames when using -gsplit-dwarf.
gcc/
* opts.c (finish_options): Use -ggnu-pubnames with -gsplit-dwarf.
From-SVN: r210395
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions