svn now uses $SVNOPTIONS;

this can be useful to set the release to be checked out in the crontab

diff --git a/helm/matita/scripts/profile_svn.sh b/helm/matita/scripts/profile_svn.sh
index 3eab292b34b586e095285480fde71e00d3a2e44a..eca457ecc89f129980b2ab700da184c203c7d09e 100755 (executable)
--- a/helm/matita/scripts/profile_svn.sh
+++ b/helm/matita/scripts/profile_svn.sh
@@ -49,8 +49,8 @@ svn co -N $SVNROOT > $SVNLOG 2>&1
 cd trunk 
 svn update -N helm >> $SVNLOG 2>&1
 cd helm
-svn update ocaml >> $SVNLOG 2>&1
-svn update matita >> $SVNLOG 2>&1
+svn update $SVNOPTIONS ocaml >> $SVNLOG 2>&1
+svn update $SVNOPTIONS matita >> $SVNLOG 2>&1
 cd ..
 cd ..
 ln -s trunk/helm .