svn up 2>/dev/null
if [ $? != 0 ] ; then
set -e
- ${SIMGRID_SVN_ROOT}/buildtools/buildtools/scripts/cchange-svn-wc-format.py ${SIMGRID_SVN_ROOT} 1.5
+ ${SIMGRID_SVN_ROOT}/buildtools/scripts/change-svn-wc-format.py ${SIMGRID_SVN_ROOT} 1.4
svn up
fi
set -e
# (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