From a3c29220901a51131f66650e05215a772ae4fa97 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 14 Feb 2006 20:25:18 +0000
Subject: [PATCH] fix

---
 helm/software/matita/scripts/profile_svn.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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 .
-- 
2.39.2