diff --git a/configure b/configure index 8929ec1b19..00dc45cf2e 100755 --- a/configure +++ b/configure @@ -1413,7 +1413,7 @@ if test "$_gcc_check" = yes ; then cc_version="v. ?.??, bad" cc_verc_fail=yes ;; - 8.0|9.1|10.0|10.1) + 10.1) cc_version="$cc_version, ok" cc_verc_fail=no ;;