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

fix
---

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