| Thu, 01 Dec 2005 22:43:15 +0100 |
kleing |
typo
|
file |
diff |
annotate
|
| Fri, 25 Nov 2005 11:34:37 +0100 |
kleing |
send more information with test-takes-too-long message
|
file |
diff |
annotate
|
| Fri, 14 Oct 2005 13:04:38 +0200 |
isatest |
longer time out for test (kleing)
|
file |
diff |
annotate
|
| Fri, 24 Jun 2005 04:18:48 +0200 |
kleing |
shortened time out by 3h (gives up at 12:00h now).
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 00:45:56 +0200 |
kleing |
fix 'give up waiting message' (logs of running processes are not attached)
|
file |
diff |
annotate
|
| Sat, 11 Jun 2005 15:42:51 +0200 |
wenzelm |
fixed spelling;
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 02:21:44 +0200 |
kleing |
reduced timeout, send logs also when test taking too long
|
file |
diff |
annotate
|
| Fri, 27 May 2005 01:09:44 +0200 |
kleing |
put global isatest settings in one file, sourced by the other scripts
|
file |
diff |
annotate
|
| Sun, 08 May 2005 22:18:12 +0200 |
wenzelm |
MAILTO: makarius@sketis.net
|
file |
diff |
annotate
|
| Sat, 30 Apr 2005 13:09:38 +0200 |
isatest |
export DISTPREFIX to devel page Makefile
|
file |
diff |
annotate
|
| Fri, 29 Apr 2005 13:12:38 +0200 |
kleing |
move isadist to ~/tmp/
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 27 Aug 2003 18:22:34 +0200 |
skalberg |
Added skalberg to recepients, changed admin from kleing to berghofe.
|
file |
diff |
annotate
|
| Sun, 18 May 2003 16:30:20 +0200 |
kleing |
fix typo
|
file |
diff |
annotate
|
| Sun, 18 May 2003 16:29:18 +0200 |
kleing |
attach log files
|
file |
diff |
annotate
|
| Sun, 18 May 2003 15:28:41 +0200 |
kleing |
attach log files
|
file |
diff |
annotate
|
| Fri, 09 May 2003 14:15:50 +0200 |
kleing |
only make development snapshots for successful tests
|
file |
diff |
annotate
|
| Fri, 09 May 2003 14:08:04 +0200 |
kleing |
fixes
|
file |
diff |
annotate
|
| Fri, 09 May 2003 12:08:00 +0200 |
kleing |
var/run -> var/running
|
file |
diff |
annotate
|
| Fri, 09 May 2003 11:56:16 +0200 |
kleing |
typo
|
file |
diff |
annotate
|
| Fri, 09 May 2003 11:47:29 +0200 |
kleing |
check for error log, send mail if exists
|
file |
diff |
annotate
|