# HG changeset patch
# User wenzelm
# Date 1295032947 -3600
# Node ID f55d564e0521cfbba2728bb557a240515e8bf0b4
# Parent  178fdd4cca46964987b36714c63d227ce344974e
bundle main HOL image only, to save about 300 MB disk space;

diff -r 178fdd4cca46 -r f55d564e0521 Admin/makebin
--- a/Admin/makebin	Fri Jan 14 18:23:39 2011 +0100
+++ b/Admin/makebin	Fri Jan 14 20:22:27 2011 +0100
@@ -100,9 +100,7 @@
 if [ -n "$DO_LIBRARY" ]; then
   ./build -bait
 else
-  ./build -b -m HOL-Nominal HOL
-  ./build -b -m HOLCF HOL
-  ./build -b ZF
+  ./build -b HOL
 fi