clean the archive before rebuilding to avoid 'binary wrong format' errors

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

diff --git a/buildtools/scripts/simgrid_build.functions b/buildtools/scripts/simgrid_build.functions
index e93769b..f6811eb 100644 (file)
--- a/buildtools/scripts/simgrid_build.functions
+++ b/buildtools/scripts/simgrid_build.functions
@@ -44,6 +44,7 @@ make_dist() {
     # (disable compilation optim to make it built faster)
     ./configure --enable-maintainer-mode --disable-compile-optimizations
     echo "Make the archive"
     # (disable compilation optim to make it built faster)
     ./configure --enable-maintainer-mode --disable-compile-optimizations
     echo "Make the archive"

+    make clean

     make -C src libgras.la
     make -C tools/gras
     make dist
     make -C src libgras.la
     make -C tools/gras
     make dist