diff options
Diffstat (limited to 'tools/mpcheck/mpcheck-common.c')
| -rw-r--r-- | tools/mpcheck/mpcheck-common.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/mpcheck/mpcheck-common.c b/tools/mpcheck/mpcheck-common.c index 0133f2a..cc96dd1 100644 --- a/tools/mpcheck/mpcheck-common.c +++ b/tools/mpcheck/mpcheck-common.c @@ -182,6 +182,7 @@ mpfr_agree (mpfr_t a, mpfr_t b, int inex) return mpfr_equal_p (a, b) || inex == 2 || inex == -2; } +#if 0 static int cputime (void) { @@ -190,4 +191,4 @@ cputime (void) getrusage (0, &rus); return rus.ru_utime.tv_sec * 1000 + rus.ru_utime.tv_usec / 1000; } - +#endif |