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

fix
---

diff --git a/matita/scripts/profile_svn.sh b/matita/scripts/profile_svn.sh
index 133cd17df..8e5f7c2fa 100755
--- a/matita/scripts/profile_svn.sh
+++ b/matita/scripts/profile_svn.sh
@@ -55,7 +55,7 @@ ln -s trunk/helm .
 
 #compile
 export HOME="`pwd`/../$TMPDIRNAME.HOME"
-compile $PWD/helm/
+compile $PWD/helm/software/
 
 #run
 run_tests $PWD/helm/software/matita > LOG 2>/dev/null