when building the archive, reconfigure in any case to get the svn version updated

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6932 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/scripts/simgrid_build.functions b/buildtools/scripts/simgrid_build.functions
index ecaeec6..b366288 100644 (file)
--- a/buildtools/scripts/simgrid_build.functions
+++ b/buildtools/scripts/simgrid_build.functions
@@ -29,10 +29,9 @@ make_dist() {
     if [ ! -e configure ] ; then
       ./bootstrap
     fi
     if [ ! -e configure ] ; then
       ./bootstrap
     fi

-    if [ ! -e Makefile ] ; then
-       # Disable compilation optim to make it built faster
-       ./configure --enable-maintainer-mode --disable-compile-optimizations
-    fi
+    # Reconfigure in any case or the svn version won't get updated
+    # (disable compilation optim to make it built faster)
+    ./configure --enable-maintainer-mode --disable-compile-optimizations

     echo "Make the archive"
     make all dist
 
     echo "Make the archive"
     make all dist