diff --git a/configure b/configure index 9b6463de..7ebbfb98 100755 --- a/configure +++ b/configure @@ -2818,7 +2818,7 @@ g++*) 3.*) COMPILER_VERSION="3.*" ;; - 7.*|6.*|5.*|4.*) + [7-8]|[4-6].*) COMPILER_VERSION="4.*" ;; *)