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