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

fix
---

diff --git a/helm/software/matita/scripts/profile_svn.sh b/helm/software/matita/scripts/profile_svn.sh
index 9254544d5..133cd17df 100755
--- a/helm/software/matita/scripts/profile_svn.sh
+++ b/helm/software/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 .