# HG changeset patch
# User cehoyos
# Date 1197118510 0
# Node ID 0a5be31447bbebb02f90629f0d1e172681617436
# Parent  a6a49a7a4be0b5d9bea396462ffa275ba2527486
Allow usage of icc 10.1

diff -r a6a49a7a4be0 -r 0a5be31447bb configure
--- a/configure	Sat Dec 08 12:15:03 2007 +0000
+++ b/configure	Sat Dec 08 12:55:10 2007 +0000
@@ -1396,7 +1396,7 @@
       cc_version="v. ?.??, bad"
       cc_verc_fail=yes
       ;;
-    8.0|9.1|10.0)
+    8.0|9.1|10.0|10.1)
       cc_version="$cc_version, ok"
       cc_verc_fail=no
       ;;