From f6feea11ee87ca695460a80e3e66fc7c78f65208 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 2 Nov 2005 12:27:59 +0000 Subject: [PATCH] Maybe this time we will be lucky. --- helm/matita/scripts/crontab.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh index 8360f1f0b..ee7c181db 100644 --- a/helm/matita/scripts/crontab.sh +++ b/helm/matita/scripts/crontab.sh @@ -1,6 +1,6 @@ #!/bin/bash -TODAY=`date +%Y%m%d0200` -YESTERDAY=`date -d yesterday +%Y%m%d0417` +TODAY=`date +%Y%m%d` +YESTERDAY=`date -d yesterday +%Y%m%d` TMPDIRNAME=.__${TODAY}_crontab CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm" SHELLTIME2CENTSPHP=helm/matita/scripts/shell_time2cents.php @@ -18,12 +18,12 @@ MARK=`echo "select distinct mark from bench where mark like '$TODAY%' order by m LASTMARK=`echo "select distinct mark from bench where mark like '$YESTERDAY%' order by mark" | mysql -u helm matita | tail -n 1` if [ -z "$MARK" ]; then - echo "No benchmark records for $MARK" + echo "No benchmark records for $TODAY" exit 1 fi if [ -z "$LASTMARK" ]; then - echo "No benchmark records for $LASTMARK" + echo "No benchmark records for $YESTERDAY" exit 1 fi -- 2.39.2