From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 17 Mar 2006 09:51:48 +0000 (+0000)
Subject: fixed wrong log name
X-Git-Tag: 0.4.95@7852~1595
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7b8e3b2132a264c2ab74a34ec48b3cdc75cc5c99;p=helm.git

fixed wrong log name
---

diff --git a/matita/scripts/profile_svn.sh b/matita/scripts/profile_svn.sh
index ba7d69806..41b0dbf26 100755
--- 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 {