diff options
| -rwxr-xr-x | tests/misc/factor.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/misc/factor.pl b/tests/misc/factor.pl index 8f6edaac4..540984fe1 100755 --- a/tests/misc/factor.pl +++ b/tests/misc/factor.pl @@ -76,7 +76,7 @@ my @Tests = ); # If we have GMP support, append tests to exercise it. -system "grep -w HAVE_GMP $ENV{CONFIG_HEADER} > /dev/null" == 0 +(system "grep '^#define HAVE_GMP 1' $ENV{CONFIG_HEADER} > /dev/null") == 0 and push (@Tests, ['bug-gmp-2_sup_128', '340282366920938463463374607431768211456', {OUT => '2 'x127 . '2'}], |