if [ -e .svn ] ; then
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`
+ 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| .*||'`
fi fi
# (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