diff options
| author | Richard Earnshaw <rearnsha@gcc.gnu.org> | 2003-06-27 09:51:22 +0000 |
|---|---|---|
| committer | Richard Earnshaw <rearnsha@gcc.gnu.org> | 2003-06-27 09:51:22 +0000 |
| commit | 457515250cb7da7538214408464ccbedb4074edf (patch) | |
| tree | 7a4f8d798e3bf3f6723770345c8a351c86828d27 /gcc/flags.h | |
| parent | 2e0402197060132c3023d0f414b73a3fe4c9f2a7 (diff) | |
| download | gcc-457515250cb7da7538214408464ccbedb4074edf.tar.gz | |
* flags.h: Really install previous change.
From-SVN: r68562
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index e7a3ea830fc..410967ba931 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -57,6 +57,9 @@ extern enum debug_info_level debug_info_level; debugging information. */ extern int use_gnu_debug_info_extensions; +/* Nonzero means emit debugging information only for symbols which are used. */ +extern int flag_debug_only_used_symbols; + /* Nonzero means do optimizations. -opt. */ extern int optimize; |