--- 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