summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 658db9770b..132f688ca7 100755
--- a/configure
+++ b/configure
@@ -1523,7 +1523,7 @@ if test "`basename $_cc`" = "icc" || test "`basename $_cc`" = "ecc"; then
cc_version="v. ?.??, bad"
cc_fail=yes
;;
- 10.1|11.0)
+ 10.1|11.0|11.1)
cc_version="$cc_version, ok"
;;
*)