diff options
Diffstat (limited to 'gcc/timevar.c')
| -rw-r--r-- | gcc/timevar.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/timevar.c b/gcc/timevar.c index 8249727..3543850 100644 --- a/gcc/timevar.c +++ b/gcc/timevar.c @@ -22,6 +22,7 @@ along with GCC; see the file COPYING3. If not see #include "system.h" #include "coretypes.h" #include "timevar.h" +#include "options.h" #ifndef HAVE_CLOCK_T typedef int clock_t; @@ -727,10 +728,13 @@ timer::print (FILE *fp) #endif fprintf (fp, "%8u kB\n", (unsigned) (total->ggc_mem >> 10)); -#ifdef ENABLE_CHECKING - fprintf (fp, "Extra diagnostic checks enabled; compiler may run slowly.\n"); - fprintf (fp, "Configure with --enable-checking=release to disable checks.\n"); -#endif + if (flag_checking) + { + fprintf (fp, "Extra diagnostic checks enabled; " + "compiler may run slowly.\n"); + fprintf (fp, "Configure with --enable-checking=release " + "to disable checks.\n"); + } #ifndef ENABLE_ASSERT_CHECKING fprintf (fp, "Internal checks disabled; compiler is not suited for release.\n"); fprintf (fp, "Configure with --enable-checking=release to enable checks.\n"); |