cd trunk
svn update -N helm >> $SVNLOG 2>&1
cd helm
-svn update $SVNOPTIONS software/components >> $SVNLOG 2>&1
-svn update $SVNOPTIONS software/matita >> $SVNLOG 2>&1
+svn update -N software >> $SVNLOG 2>&1
+cd software
+svn update $SVNOPTIONS components >> $SVNLOG 2>&1
+svn update $SVNOPTIONS matita >> $SVNLOG 2>&1
+cd ..
cd ..
cd ..
ln -s trunk/helm .
#compile
export HOME="`pwd`/../$TMPDIRNAME.HOME"
-compile $PWD/helm/
+compile $PWD/helm/software/
#run
-run_tests $PWD/helm/software/matita > LOG 2>/dev/null
+run_tests $PWD/helm/software/matita > LOG 2>LOG.run_tests.err
cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | awk -f $PWD/helm/software/matita/scripts/insert.awk > INSERT.sql
cat INSERT.sql | mysql -u helm -h mowgli.cs.unibo.it matita