diff options
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index e02c3de..982cb93 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -72,10 +72,6 @@ extern int optimize_size; extern int quiet_flag; -/* Print times taken by the various passes. -ftime-report. */ - -extern int time_report; - /* Print memory still in use at end of compilation (which may have little to do with peak memory consumption). -fmem-report. */ |