X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fprofile_svn.sh;fp=helm%2Fmatita%2Fscripts%2Fprofile_svn.sh;h=6042ed601565b9a7cf51c16f1501a4c0857f429a;hp=4642b353898eae59f8f2291b4ae182ad4a0d2836;hb=9b62ec2029bf81a9116ce1eafcaae5c1f9c711ca;hpb=4622c744ca883d0a2a308d5ec5f3f280a039af64

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