diff options
author | Torbjorn Granlund <tg@gmplib.org> | 2016-11-27 01:17:25 +0100 |
---|---|---|
committer | Torbjorn Granlund <tg@gmplib.org> | 2016-11-27 01:17:25 +0100 |
commit | 6057ebc7c347bdd9557b184a4348cd62af6172c4 (patch) | |
tree | 1739992a319f378d5f77c9ebb52a6b9421d55beb /tune | |
parent | 7c6b0a3d253142a5df5b437832fb5792374041af (diff) | |
download | gmp-6057ebc7c347bdd9557b184a4348cd62af6172c4.tar.gz |
(cgt_works_p): Add a missing verbosity check.
Diffstat (limited to 'tune')
-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) { |