From 5d900856da74f4a95da9684ec7b8e15903ce6077 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 11 Jan 2006 13:51:05 +0000 Subject: [PATCH] svn now uses $SVNOPTIONS; this can be useful to set the release to be checked out in the crontab --- helm/matita/scripts/profile_svn.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/matita/scripts/profile_svn.sh b/helm/matita/scripts/profile_svn.sh index 3eab292b3..eca457ecc 100755 --- 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 . -- 2.39.2