]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/scripts/README
more work
[helm.git] / helm / software / matita / scripts / README
1 bench.sql  
2   the SQL code to generate the bench table
3   
4 crontab  
5   install this crontab (may need tweaking) to have cron run the whole
6   stuff for you
7   
8 crontab.sh  
9   the script crontab should run (includes a "pretty" report)
10
11 do_tests.sh  
12   script used by ../Makefile to run matitac[.opt] on some tests. supports some
13   options and prints out some informations neded my insert
14
15 profile_svn.sh
16   SVN co, compilation, run
17