Mercurial
testboard
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
Admin/isatest-makeall
2005-09-19 ago
update usage message
file
|
diff
|
annotate
2005-06-30 ago
use only 1 CPU on MacOS 10.4.1
file
|
diff
|
annotate
2005-06-25 ago
use both processors on macbroy5
file
|
diff
|
annotate
2005-05-27 ago
log more failure types
file
|
diff
|
annotate
2005-05-27 ago
put global isatest settings in one file, sourced by the other scripts
file
|
diff
|
annotate
2005-04-29 ago
put 8h time limit on test
file
|
diff
|
annotate
2004-06-21 ago
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2004-03-05 ago
do not remove heaps, used for afp test
file
|
diff
|
annotate
2003-12-06 ago
revert to 1.18, changed Distribution/lib/Tools/makeall instead
file
|
diff
|
annotate
2003-12-06 ago
make Pure first to avoid race conditions on multi processor machines
file
|
diff
|
annotate
2003-05-18 ago
attach log files
file
|
diff
|
annotate
2003-05-12 ago
be nice on sunbroy2
file
|
diff
|
annotate
2003-05-09 ago
tuned
file
|
diff
|
annotate
2003-05-09 ago
tuned
file
|
diff
|
annotate
2003-05-09 ago
tuned
file
|
diff
|
annotate
2003-05-09 ago
leave error messages in error.log, send only one email for all platforms
file
|
diff
|
annotate
2003-05-06 ago
use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
file
|
diff
|
annotate
2003-04-25 ago
no need to be nice everywhere
file
|
diff
|
annotate
2003-04-06 ago
use 2 processors on sunbroy1
file
|
diff
|
annotate
2003-02-28 ago
case distinction on host for makefile flags
file
|
diff
|
annotate
2002-07-30 ago
- changed date format for proper lexicographical ordering
file
|
diff
|
annotate
2002-07-15 ago
mail address update
file
|
diff
|
annotate
2002-07-09 ago
send email plaform independently
file
|
diff
|
annotate
2002-06-24 ago
email sending
file
|
diff
|
annotate
2002-06-21 ago
included masterlog file
file
|
diff
|
annotate
2002-06-20 ago
tuned
file
|
diff
|
annotate
2002-06-20 ago
tuned
file
|
diff
|
annotate
2002-06-20 ago
for nightly test builds
file
|
diff
|
annotate