Merge pull request #5531

This commit is contained in:
Wladimir J. van der Laan 2014-12-23 14:26:20 +01:00
commit f4dcc1e009
No known key found for this signature in database
GPG Key ID: 74810B012346C9A6
1 changed files with 0 additions and 12 deletions

View File

@ -118,13 +118,6 @@ if test x"$req_field" = x"auto"; then
fi
fi
if test x"$set_field" = x; then
SECP_GMP_CHECK
if test x"$has_gmp" = x"yes"; then
set_field=gmp
fi
fi
if test x"$set_field" = x; then
set_field=32bit
fi
@ -173,11 +166,6 @@ else
fi
if test x"$req_bignum" = x"auto"; then
SECP_GMP_CHECK
if test x"$has_gmp" = x"yes"; then
set_bignum=gmp
fi
if test x"$set_bignum" = x; then
set_bignum=none
fi