diff options
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index 78c6d5a8885..91e719a0807 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -240,8 +240,6 @@ extern enum graph_dump_types graph_dump_format; and to print them when we are done. */ extern int flag_detailed_statistics; -extern int flag_web; - /* Nonzero means that we defer emitting functions until they are actually used. */ extern int flag_remove_unreachable_functions; |