]> matita.cs.unibo.it Git - helm.git/commitdiff
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Feb 2006 20:33:17 +0000 (20:33 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Feb 2006 20:33:17 +0000 (20:33 +0000)
matita/scripts/profile_svn.sh

index 133cd17dfcc5addff856e3dd46c7dfff7012c7e5..8e5f7c2fa5600c9544de9ac7132e2fd0317344a5 100755 (executable)
@@ -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