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: make_still_working~7497
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bb915da0f087a8f2801e6857faa7d73012f8261;p=helm.git

fixed wrong log name
---

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