Update the platform files: the root tag is now called 'platform', not 'platform_descr...

[simgrid.git] / configure

diff --git a/configure b/configure
index 84d2b58..2264e96 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.ac Revision: 4913 .
+# From configure.ac Revision: 4915 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.61 for simgrid 3.3-cvs.
 #
@@ -26185,8 +26185,6 @@ else
   disable_java=yes
 fi
 
-{ echo "$as_me:$LINENO: checking whether to compile java bindings" >&5
-echo $ECHO_N "checking whether to compile java bindings... $ECHO_C" >&6; }
 if test "x$disable_java" != "xyes" ; then
    use_java="disabled by user"
 else
@@ -26468,8 +26466,8 @@ done
      use_java="no"
   fi
 fi
-{ echo "$as_me:$LINENO: result: $use_java" >&5
-echo "${ECHO_T}$use_java" >&6; }
+{ echo "$as_me:$LINENO: result: decide whether to compile java bindings... $use_java" >&5
+echo "${ECHO_T}decide whether to compile java bindings... $use_java" >&6; }
  if test "x$use_java" = "xyes"; then
   HAVE_JAVA_TRUE=
   HAVE_JAVA_FALSE='#'