--- configure 2007-11-21 12:00:46.000000000 +0100 +++ configure.neu 2007-11-21 21:45:13.000000000 +0100 @@ -127,7 +127,7 @@ cc_version="v. ?.??, bad" cc_verc_fail=yes ;; - 2.95|2.95.[2-9]|2.95.[2-9][-.][0-9]|3.[0-9]|3.[0-9].[0-9]|4.[0-9]) + 2.95|2.95.[2-9]|2.95.[2-9][-.][0-9]|3.[0-9]|3.[0-9].[0-9]|4.[0-9]|4.[0-9].[0-9]) cc_version="$cc_version" cc_verc_fail=no ;;