# HG changeset patch
# User cehoyos
# Date 1203851892 0
# Node ID 0a21dff6b5ef60d91e3123b4988fbd76a1a4d92a
# Parent  232cb92a2f1c34f8ebb0a2625b02c54d82f719e5
Only icc 10.1 will be supported.

diff -r 232cb92a2f1c -r 0a21dff6b5ef configure
--- a/configure	Sun Feb 24 11:15:30 2008 +0000
+++ b/configure	Sun Feb 24 11:18:12 2008 +0000
@@ -1413,7 +1413,7 @@
       cc_version="v. ?.??, bad"
       cc_verc_fail=yes
       ;;
-    8.0|9.1|10.0|10.1)
+    10.1)
       cc_version="$cc_version, ok"
       cc_verc_fail=no
       ;;