From 10e4960edf735ee29b350256bf03c0424f42d297 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 22 Dec 2009 23:34:32 +0000
Subject: [PATCH] Reduce the amount of stuff to rebuild to get an archive

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6953 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 buildtools/scripts/simgrid_build.functions | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/buildtools/scripts/simgrid_build.functions b/buildtools/scripts/simgrid_build.functions
index 8ae1b90a0a..6e2f34519c 100644
--- a/buildtools/scripts/simgrid_build.functions
+++ b/buildtools/scripts/simgrid_build.functions
@@ -37,8 +37,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"
-- 
2.20.1