aaaa

[helm.git] / helm / matita / scripts / profile_cvs.sh

diff --git a/helm/matita/scripts/profile_cvs.sh b/helm/matita/scripts/profile_cvs.sh
index 212449a31bdd7507461849de65d26f325faa037a..667a70e36de142e1b25987104ee1911ee0d43106 100755 (executable)
--- a/helm/matita/scripts/profile_cvs.sh
+++ b/helm/matita/scripts/profile_cvs.sh
@@ -45,7 +45,7 @@ cd $TMPDIRNAME
 cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
 cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
 
-export HOME="$TMPDIRNAME.HOME"
+export HOME="`pwd`/../$TMPDIRNAME.HOME"
 compile $PWD/helm/ocaml $PWD/helm/matita
 run_tests $PWD/helm/matita > LOG 2>/dev/null