merging branch 5018:5083 into trunk

[simgrid.git] / configure

diff --git a/configure b/configure
index 4733b6c..6745285 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.ac Revision: 4976 .
+# From configure.ac Revision: 5053 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.61 for simgrid 3.3-svn.
 #