diff options
author | Torbjorn Granlund <tg@gmplib.org> | 2020-11-19 21:34:19 +0100 |
---|---|---|
committer | Torbjorn Granlund <tg@gmplib.org> | 2020-11-19 21:34:19 +0100 |
commit | 06d2d36ca6abd960ea2be9510e2756a67829094a (patch) | |
tree | b52c449a03282f2d7d08e694dd7e36e74c6b26eb /tune | |
parent | 79bba1f2cc548d81ae1b2ba9dc40504374282e70 (diff) | |
download | gmp-06d2d36ca6abd960ea2be9510e2756a67829094a.tar.gz |
(main): Cast printf args to right type.
Diffstat (limited to 'tune')
-rw-r--r-- | tune/time.c | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/tune/time.c b/tune/time.c index 9060c3d05..5ba482ba1 100644 --- a/tune/time.c +++ b/tune/time.c @@ -1472,18 +1472,20 @@ speed_endtime (void) if (use_cgt) printf (" clock_gettime %ld.%09ld -> %ld.%09ld\n", - start_cgt.tv_sec, start_cgt.tv_nsec, - end_cgt.tv_sec, end_cgt.tv_nsec); + (long) start_cgt.tv_sec, (long) start_cgt.tv_nsec, + (long) end_cgt.tv_sec, (long) end_cgt.tv_nsec); if (use_gtod) printf (" gettimeofday %ld.%06ld -> %ld.%06ld\n", - start_gtod.tv_sec, start_gtod.tv_usec, - end_gtod.tv_sec, end_gtod.tv_usec); + (long) start_gtod.tv_sec, (long) start_gtod.tv_usec, + (long) end_gtod.tv_sec, (long) end_gtod.tv_usec); if (use_grus) printf (" getrusage %ld.%06ld -> %ld.%06ld\n", - start_grus.ru_utime.tv_sec, start_grus.ru_utime.tv_usec, - end_grus.ru_utime.tv_sec, end_grus.ru_utime.tv_usec); + (long) start_grus.ru_utime.tv_sec, + (long) start_grus.ru_utime.tv_usec, + (long) end_grus.ru_utime.tv_sec, + (long) end_grus.ru_utime.tv_usec); if (use_times) printf (" times %ld -> %ld\n", |