Only rebuild the mandatory parts to make dist

[simgrid.git] / buildtools / scripts / simgrid_build.functions

diff --git a/buildtools/scripts/simgrid_build.functions b/buildtools/scripts/simgrid_build.functions
index 5c1c53a..d012ff4 100644 (file)
--- a/buildtools/scripts/simgrid_build.functions
+++ b/buildtools/scripts/simgrid_build.functions
@@ -24,17 +24,18 @@ wait_archive() {
 make_dist() {
   get_version
   if [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; then
-    cd ${SIMGRID_BASEDIR}
+    cd ${SIMGRID_SVN_ROOT}
     echo "rebuild the missing files for compilation"
     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
+    make -C src 
+    make -C tools
+    make dist
 
     echo "Copy the archive in position"
     mkdir -p ${SIMGRID_BASEDIR}