diff options
author | Richard Earnshaw <rearnsha@arm.com> | 2003-06-27 09:51:22 +0000 |
---|---|---|
committer | Richard Earnshaw <rearnsha@arm.com> | 2003-06-27 09:51:22 +0000 |
commit | 38a0517485ee22258bb2201665096a59a28a04a7 (patch) | |
tree | 7a4f8d798e3bf3f6723770345c8a351c86828d27 /gcc/flags.h | |
parent | 53c98e90f5061f6cfce71315ed0187763d140753 (diff) |
* flags.h: Really install previous change.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@68562 138bc75d-0d04-0410-961f-82ee72b054a4
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; |