[plt-dev] Fwd: [DrDr] R17971 (timeout 1) (unclean 7) (stderr 17) (changes 71)

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Fri Feb 5 00:20:30 EST 2010

Would you like DrDr to send email like this to plt-dev?

Here are the features:

1) No email if there are no problems

2) Reports the following problem categories: timeouts, unclean exits,
stderr output, and changes.

3) It shows the first two of those that have problems, so if timeouts
= 0, then it just shows unclean and stderr. If stderr is also 0, then
it will also show changes. This keeps the email size down and
prioritizes certain kinds of errors.

4) It may look ugly to have http://... everywhere, but it is a way of
getting most email clients to show a link without sending HTML mail.
Those links go right to the file to diagnose the problem.

What do you think?


---------- Forwarded message ----------
From:  <drdr at plt-scheme.org>
Date: Thu, Feb 4, 2010 at 10:16 PM
Subject: [DrDr] R17971 (timeout 1) (unclean 7) (stderr 17) (changes 71)
To: jay.mccarthy at gmail.com

DrDr has finished building revision 17971 after 54.60m.


1 files timed out:

7 files exitted uncleanly:

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.