X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fscripts%2Fprofile_svn.sh;h=296ad125d62024aa8ac1f0ab88c75d60ee158084;hb=e21d67b7a00f768b085ecaa11d9a080f8ceb70d9;hp=ba7d69806cbc4a99f62160079b0df881113b4f47;hpb=bf8a6aa5782c9b539ac6cf11ee68f20b7d2c83a6;p=helm.git

diff --git a/matita/scripts/profile_svn.sh b/matita/scripts/profile_svn.sh
index ba7d69806..296ad125d 100755
--- a/matita/scripts/profile_svn.sh
+++ b/matita/scripts/profile_svn.sh
@@ -5,13 +5,13 @@ MARK=`date +%Y%m%d%H%M`
 TMPDIRNAME=__${MARK}_compilation
 SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
 MYSQL="mysql -u helm -h mowgli.cs.unibo.it matita"
-SVNLOG=$TMPDIRNAME/LOG.svn
+SVNLOG=LOG.svn
 
 #helpers
 function testit {
   LOGTOOPT=/dev/null
   LOGTOBYTE=/dev/null
-  export BENCH_EXTRA_TEXT="$MARK\t$@"
+  export BENCH_EXTRA_TEXT="$MARK $@"
   make tests 
   make tests.opt 
 }