diff options
Diffstat (limited to 'tune/time.c')
| -rw-r--r-- | tune/time.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tune/time.c b/tune/time.c index e0d262096..9060c3d05 100644 --- a/tune/time.c +++ b/tune/time.c @@ -773,8 +773,8 @@ cgt_works_p (void) } cgt_unittime = unit.tv_sec + unit.tv_nsec * 1e-9; - printf ("clock_gettime is %s accurate\n", - unittime_string (cgt_unittime)); + if (speed_option_verbose) + printf ("clock_gettime is %s accurate\n", unittime_string (cgt_unittime)); if (cgt_unittime < 10e-9) { |