From 7b8e3b2132a264c2ab74a34ec48b3cdc75cc5c99 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 17 Mar 2006 09:51:48 +0000
Subject: [PATCH] fixed wrong log name

---
 matita/scripts/profile_svn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {
-- 
2.39.2