fix

[helm.git] / helm / software / matita / scripts / profile_svn.sh

diff --git a/helm/software/matita/scripts/profile_svn.sh b/helm/software/matita/scripts/profile_svn.sh
index 133cd17dfcc5addff856e3dd46c7dfff7012c7e5..8e5f7c2fa5600c9544de9ac7132e2fd0317344a5 100755 (executable)
--- 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