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

---
 matita/scripts/profile_svn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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