diff options
Diffstat (limited to 'gcc/timevar.c')
-rw-r--r-- | gcc/timevar.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/timevar.c b/gcc/timevar.c index 9746488..2597177 100644 --- a/gcc/timevar.c +++ b/gcc/timevar.c @@ -498,6 +498,11 @@ timevar_print (FILE *fp) fprintf (fp, "%7.2f\n", total->wall); #endif +#ifdef ENABLE_CHECKING + fprintf (fp, "Extra diagnostic checks enabled; compiler may run slowly.\n"); + fprintf (fp, "Configure with --disable-checking to disable checks.\n"); +#endif + #endif /* defined (HAVE_USER_TIME) || defined (HAVE_SYS_TIME) || defined (HAVE_WALL_TIME) */ } |