# HG changeset patch
# User cehoyos
# Date 1181340249 0
# Node ID eb6c0ac5cccf6fe0222abd6be9d45e9459d64a46
# Parent  b7ada8aa18d81dae78b4fbbfd43f60a70ca67898
Support icc 10.0.

diff -r b7ada8aa18d8 -r eb6c0ac5cccf configure
--- a/configure	Fri Jun 08 20:24:56 2007 +0000
+++ b/configure	Fri Jun 08 22:04:09 2007 +0000
@@ -1351,7 +1351,7 @@
       cc_version="v. ?.??, bad"
       cc_verc_fail=yes
       ;;
-    8.0|9.1)
+    8.0|9.1|10.0)
       cc_version="$cc_version, ok"
       cc_verc_fail=no
       ;;