Admin/isatest-makeall
Thu, 30 Jun 2005 08:23:20 +0200 kleing use only 1 CPU on MacOS 10.4.1
Sat, 25 Jun 2005 12:37:07 +0200 kleing use both processors on macbroy5
Fri, 27 May 2005 01:21:50 +0200 kleing log more failure types
Fri, 27 May 2005 01:09:44 +0200 kleing put global isatest settings in one file, sourced by the other scripts
Fri, 29 Apr 2005 13:35:55 +0200 kleing put 8h time limit on test
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Fri, 05 Mar 2004 07:46:07 +0100 kleing do not remove heaps, used for afp test
Sat, 06 Dec 2003 04:32:28 +0100 kleing revert to 1.18, changed Distribution/lib/Tools/makeall instead
Sat, 06 Dec 2003 04:29:30 +0100 kleing make Pure first to avoid race conditions on multi processor machines
Sun, 18 May 2003 15:28:41 +0200 kleing attach log files
Mon, 12 May 2003 14:49:08 +0200 kleing be nice on sunbroy2
Fri, 09 May 2003 14:21:07 +0200 kleing tuned
Fri, 09 May 2003 12:02:57 +0200 kleing tuned
Fri, 09 May 2003 11:54:04 +0200 kleing tuned
Fri, 09 May 2003 11:26:17 +0200 kleing leave error messages in error.log, send only one email for all platforms
Tue, 06 May 2003 09:23:13 +0200 kleing use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
Fri, 25 Apr 2003 15:17:36 +0200 kleing no need to be nice everywhere
Sun, 06 Apr 2003 21:16:50 +0200 kleing use 2 processors on sunbroy1
Fri, 28 Feb 2003 14:11:54 +0100 isatest case distinction on host for makefile flags
Tue, 30 Jul 2002 10:29:34 +0200 isatest - changed date format for proper lexicographical ordering
Mon, 15 Jul 2002 15:28:51 +0200 isatest mail address update
Tue, 09 Jul 2002 11:46:36 +0200 isatest send email plaform independently
Mon, 24 Jun 2002 16:33:43 +0200 isatest email sending
Fri, 21 Jun 2002 15:39:19 +0200 isatest included masterlog file
Thu, 20 Jun 2002 22:17:28 +0200 kleing tuned
Thu, 20 Jun 2002 22:17:15 +0200 kleing tuned
Thu, 20 Jun 2002 21:45:14 +0200 kleing for nightly test builds
less more (0) tip