More resilient to svn-URL changes.

[helm.git] / helm / matita / scripts / profile_svn.sh

diff --git a/helm/matita/scripts/profile_svn.sh b/helm/matita/scripts/profile_svn.sh
index eca457ecc89f129980b2ab700da184c203c7d09e..6042ed601565b9a7cf51c16f1501a4c0857f429a 100755 (executable)
--- 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
@@ -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