From cb971faa22fd9205a8f0a6827029fd77570094a6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 17 Apr 2007 09:22:56 +0000
Subject: [PATCH] broken list fix

---
 matita/scripts/crontab.sh | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/matita/scripts/crontab.sh b/matita/scripts/crontab.sh
index f2a0283c0..173532c61 100644
--- a/matita/scripts/crontab.sh
+++ b/matita/scripts/crontab.sh
@@ -84,21 +84,32 @@ CUR_FAIL=`printf "$SQLQFAILCOUNT" "$MARK" | $MYSQL | tail -n 1`
 OLD_FAIL=`printf "$SQLQFAILCOUNT" "$LASTMARK" | $MYSQL | tail -n 1`
 
 if [ "$CUR_FAIL" -gt "$OLD_FAIL" ]; then
+  TMP1=`mktemp`
+  TMP2=`mktemp`
+  TMP3=`mktemp`
+  printf "$SQLQFAIL" "$MARK" | $MYSQL > $TMP1
+  printf "$SQLQFAIL" "$LASTMARK" | $MYSQL > $TMP2
+  combine $TMP1 not $TMP2 > $TMP3
+
   cat <<EOT
 
   More broken tests detected (MARK $MARK vs MARK $LASTMARK)
   Is: $CUR_FAIL
   Was: $OLD_FAIL 
-  
-  Now broken:
-`printf "$SQLQFAIL" "$MARK" | $MYSQL`
 
-  Were broken:
-`printf "$SQLQFAIL" "$LASTMARK" | $MYSQL`
+  Tests that are broken in $MARK but where not broken in $LASTMARK:
+`cat $TMP3`
+
+  List of broken tests in mark $MARK: 
+`cat $TMP1`
+
+  List of broken tests in old mark $LASTMARK:
+`cat $TMP2`
   
   For details: $URL
 EOT
 
+  rm $TMP1 $TMP2 $TMP3
 fi
 
 cd $OLD
-- 
2.39.2