Index: configure
===================================================================
--- configure	(revision 195313)
+++ configure	(working copy)
@@ -5833,7 +5833,6 @@
      CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
      LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
      LIBS="${_isl_saved_LIBS} -lisl"
-    echo $CFLAGS

      { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.10 of  
ISL" >&5
  $as_echo_n "checking for version 0.10 of ISL... " >&6; }
@@ -5882,7 +5881,6 @@
      CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
      LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
      LIBS="${_isl_saved_LIBS} -lisl"
-    echo $CFLAGS

      { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.11 of  
ISL" >&5
  $as_echo_n "checking for version 0.11 of ISL... " >&6; }
Index: config/isl.m4
===================================================================
--- config/isl.m4	(revision 195313)
+++ config/isl.m4	(working copy)
@@ -114,7 +114,6 @@
      CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
      LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
      LIBS="${_isl_saved_LIBS} -lisl"
-    echo $CFLAGS

      AC_MSG_CHECKING([for version $1.$2 of ISL])
      AC_RUN_IFELSE([_ISL_CHECK_CT_PROG($1,$2)],