if [ x$version = x ] ; then
cd ${SIMGRID_SVN_ROOT}
if [ -e .svn ] ; then
- svn up
+ set +e
+ svn up 2>/dev/null
+ if [ $? != 0 ] ; then
+ set -e
+ ${SIMGRID_SVN_ROOT}/buildtools/scripts/change-svn-wc-format.py ${SIMGRID_SVN_ROOT} 1.4
+ svn up
+ fi
+ set -e
version="simgrid-3.3.4-svn-r"`svnversion`
else if [ -e .git ] ; then
version="simgrid-3.3.4-git-r"`git log --oneline -1 | sed 's| .*||'`
# (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