# HG changeset patch
# User wenzelm
# Date 1187436748 -7200
# Node ID 5c29e8822f50cf9b8961cf47a2c0ab4252c10eec
# Parent  9625e5bfa456bd2a290b9e9944683b98599e6947
make HOL-ex earlier;

diff -r 9625e5bfa456 -r 5c29e8822f50 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat Aug 18 13:32:26 2007 +0200
+++ b/src/HOL/IsaMakefile	Sat Aug 18 13:32:28 2007 +0200
@@ -10,6 +10,7 @@
 
 #Note: keep targets sorted (except for HOL-Library)
 test: \
+  HOL-ex \
   HOL-Library \
   HOL-Auth \
   HOL-AxClasses \
@@ -42,8 +43,7 @@
   HOL-UNITY \
   HOL-Unix \
   HOL-W0 \
-  HOL-ZF \
-  HOL-ex 
+  HOL-ZF
     # ^ this is the sort position
 
 all: test images