diff options
Diffstat (limited to 'tests/tversion.c')
| -rw-r--r-- | tests/tversion.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/tversion.c b/tests/tversion.c index 7c5263945..12fb18632 100644 --- a/tests/tversion.c +++ b/tests/tversion.c @@ -278,6 +278,14 @@ main (void) #endif "\n"); + printf ("[tversion] _mulx_u64 = " +#if defined(HAVE_MULX_U64) + "yes" +#else + "no" +#endif + "\n"); + if (strcmp (mpfr_buildopt_tune_case (), MPFR_TUNE_CASE) != 0) { printf ("ERROR! mpfr_buildopt_tune_case() and MPFR_TUNE_CASE" |