X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fprofile_svn.sh;h=4642b353898eae59f8f2291b4ae182ad4a0d2836;hb=c84e96bf662f4372a1732926f28429b0f73f8a61;hp=eca457ecc89f129980b2ab700da184c203c7d09e;hpb=792b5d29ebae8f917043d9dd226692919b5d6ca1;p=helm.git

diff --git a/helm/matita/scripts/profile_svn.sh b/helm/matita/scripts/profile_svn.sh
index eca457ecc..4642b3538 100755
--- a/helm/matita/scripts/profile_svn.sh
+++ b/helm/matita/scripts/profile_svn.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 MARK=`date +%Y%m%d%H%M`
 TMPDIRNAME=__${MARK}_compilation
-SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
+SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/branches/tests/"
 
 function testit {
   LOGTOOPT=/dev/null