fixed wrong log name

diff --git a/matita/scripts/profile_svn.sh b/matita/scripts/profile_svn.sh
index ba7d69806cbc4a99f62160079b0df881113b4f47..41b0dbf2614264eea5d3ca8bc3e2b7da255e6f33 100755 (executable)
--- a/matita/scripts/profile_svn.sh
+++ b/matita/scripts/profile_svn.sh
@@ -5,7 +5,7 @@ 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 {