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 {
LOGTOOPT=/dev/null
LOGTOBYTE=/dev/null
- export BENCH_EXTRA_TEXT="$MARK\t$@"
+ export BENCH_EXTRA_TEXT="$MARK $@"
make tests
make tests.opt
}