From: Enrico Tassi Date: Fri, 24 Jun 2005 10:26:42 +0000 (+0000) Subject: fix X-Git-Tag: INDEXING_NO_PROOFS~74 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=37c3099643cc8fa0365e7faad20d6e8e35c01b92;p=helm.git fix --- diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README new file mode 100644 index 000000000..e1b7d2447 --- /dev/null +++ b/helm/matita/scripts/README @@ -0,0 +1,20 @@ +bench.sql + the SQL code to generate the bench table + +crontab + install this crontab (may need tweaking) to have cron run the whole + stuff for you + +crontab.sh + the script crontab should run (includes a "pretty" report) + +do_tests.sh + script used by ../Makefile to run matitac[.opt] on some tests. supports some + options and prints out some informations neded my insert + +insert.awk + creates the SQL INSERT statements for the output of profile_cvs.sh + +profile_cvs.sh + CVS co, compilation, run + diff --git a/helm/matita/scripts/crontab b/helm/matita/scripts/crontab index 2a39f12b6..4221e65e9 100644 --- a/helm/matita/scripts/crontab +++ b/helm/matita/scripts/crontab @@ -1,3 +1,2 @@ -#MAILTO=helm@cs.unibo.it -MAILTO=tassi@cs.unibo.it +MAILTO=helm@cs.unibo.it 10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh