From 37c3099643cc8fa0365e7faad20d6e8e35c01b92 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 24 Jun 2005 10:26:42 +0000 Subject: [PATCH] fix --- helm/matita/scripts/README | 20 ++++++++++++++++++++ helm/matita/scripts/crontab | 3 +-- 2 files changed, 21 insertions(+), 2 deletions(-) create mode 100644 helm/matita/scripts/README 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 -- 2.39.2