that's ok to have a failure in that section since we're trying to detect whether...

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

diff --git a/buildtools/scripts/simgrid_build.functions b/buildtools/scripts/simgrid_build.functions
index 8ae1b90a0acf93c9e68136111e97075ba932a68a..22dfd19514ed49f3dc22b8bf48ae111a153ad784 100644 (file)
--- a/buildtools/scripts/simgrid_build.functions
+++ b/buildtools/scripts/simgrid_build.functions
@@ -7,8 +7,14 @@ get_version() {
   if [ x$version = x ] ; then
     cd ${SIMGRID_SVN_ROOT}
     if [ -e .svn ] ; then
-      svn up
-      version="simgrid-3.3.4-svn-r"`svnversion`
+      set +e
+      svn up 2>/dev/null
+      if [ $? = 0 ] ; then
+        version="simgrid-3.3.4-svn-r"`svnversion`
+      else
+        version="simgrid-3.3.4-svn-r"`head -n 4 .svn/entries |tail -n 1`
+      fi
+      set -e
     else if [ -e .git ] ; then
       version="simgrid-3.3.4-git-r"`git log --oneline -1 | sed 's| .*||'`
     fi fi
@@ -37,8 +43,8 @@ make_dist() {
     # (disable compilation optim to make it built faster)
     ./configure --enable-maintainer-mode --disable-compile-optimizations
     echo "Make the archive"
-    make -C src 
-    make -C tools
+    make -C src libgras.la
+    make -C tools/gras
     make dist
 
     echo "Copy the archive in position"