# HG changeset patch
# User cehoyos
# Date 1374039140 0
# Node ID 1d34ea86b8923779ac72dc9db694976d27d05807
# Parent  f51965824a2bf30ef20c071057477ec7a7cc1d90
Allow compilation with current icc.

diff -r f51965824a2b -r 1d34ea86b892 configure
--- a/configure	Tue Jul 16 01:33:46 2013 +0000
+++ b/configure	Wed Jul 17 05:32:20 2013 +0000
@@ -1601,7 +1601,7 @@
       cc_version="v. ?.??, bad"
       cc_fail=yes
       ;;
-    10.1|11.1|12.0)
+    10.1|11.1|12.*|13.*)
       cc_version="$cc_version, ok"
       ;;
     *)