# HG changeset patch
# User kleing
# Date 1070681598 -3600
# Node ID a8c4a1e6307123392d8a18b5503144533d69c2b4
# Parent  d7c3691008f9f2671a0ed03d759738638392842c
make Pure first to avoid race conditions on multiprocessor machines

diff -r d7c3691008f9 -r a8c4a1e63071 lib/Tools/makeall
--- a/lib/Tools/makeall	Sat Dec 06 04:32:28 2003 +0100
+++ b/lib/Tools/makeall	Sat Dec 06 04:33:18 2003 +0100
@@ -8,7 +8,7 @@
 
 ## global settings
 
-ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
+ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
 
 
 ## diagnostics