diff --git a/src/gen_gmp_aux.cpp b/src/gen_gmp_aux.cpp index 463a751..3c029bc 100644 --- a/src/gen_gmp_aux.cpp +++ b/src/gen_gmp_aux.cpp @@ -116,7 +116,7 @@ int main() sprintf(buffer, "%d.%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL); fprintf(stderr, "GMP version check (%s/%s)\n", buffer, gmp_version); - if (strcmp(buffer, gmp_version)) { + if (strcmp(buffer, gmp_version) < 0) { if (__GNU_MP_VERSION_PATCHLEVEL != 0) bad_version = true; else {