]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed wrong log name
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Mar 2006 09:51:48 +0000 (09:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Mar 2006 09:51:48 +0000 (09:51 +0000)
matita/scripts/profile_svn.sh

index ba7d69806cbc4a99f62160079b0df881113b4f47..41b0dbf2614264eea5d3ca8bc3e2b7da255e6f33 100755 (executable)
@@ -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 {