From 9b62ec2029bf81a9116ce1eafcaae5c1f9c711ca Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 12 Jan 2006 11:34:31 +0000
Subject: [PATCH] More resilient to svn-URL changes.

---
 helm/matita/scripts/profile_svn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/scripts/profile_svn.sh b/helm/matita/scripts/profile_svn.sh
index 4642b3538..6042ed601 100755
--- a/helm/matita/scripts/profile_svn.sh
+++ b/helm/matita/scripts/profile_svn.sh
@@ -45,7 +45,7 @@ cd $TMPDIRNAME
 SVNLOG=`pwd`/LOG.svn
 
 #svn
-svn co -N $SVNROOT > $SVNLOG 2>&1
+svn co -N $SVNROOT trunk > $SVNLOG 2>&1
 cd trunk 
 svn update -N helm >> $SVNLOG 2>&1
 cd helm
-- 
2.39.2