From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 14 Feb 2006 20:25:18 +0000 (+0000)
Subject: fix
X-Git-Tag: 0.4.95@7852~1664
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1e0895e6d920b5be4d4c24e02617f5e29b59b0ce;p=helm.git

fix
---

diff --git a/matita/scripts/profile_svn.sh b/matita/scripts/profile_svn.sh
index 9254544d5..133cd17df 100755
--- a/matita/scripts/profile_svn.sh
+++ b/matita/scripts/profile_svn.sh
@@ -44,8 +44,11 @@ svn co -N $SVNROOT > $SVNLOG 2>&1
 cd trunk 
 svn update -N helm >> $SVNLOG 2>&1
 cd helm
-svn update $SVNOPTIONS software/components >> $SVNLOG 2>&1
-svn update $SVNOPTIONS software/matita >> $SVNLOG 2>&1
+svn update -N software >> $SVNLOG 2>&1
+cd software
+svn update $SVNOPTIONS components >> $SVNLOG 2>&1
+svn update $SVNOPTIONS matita >> $SVNLOG 2>&1
+cd ..
 cd ..
 cd ..
 ln -s trunk/helm .