X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fprofile_svn.sh;h=296ad125d62024aa8ac1f0ab88c75d60ee158084;hb=abd976fb6603a85c1da6d1582114e7c1fa472449;hp=ba7d69806cbc4a99f62160079b0df881113b4f47;hpb=0b8920a44d8e2540dd7e12811b5e485d19664953;p=helm.git

diff --git a/helm/software/matita/scripts/profile_svn.sh b/helm/software/matita/scripts/profile_svn.sh
index ba7d69806..296ad125d 100755
--- a/helm/software/matita/scripts/profile_svn.sh
+++ b/helm/software/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 
 }