--- a/Admin/makebin Mon Oct 10 16:47:45 2011 +0200
+++ b/Admin/makebin Mon Oct 10 20:14:25 2011 +0200
@@ -94,7 +94,7 @@
PLATFORM=$(./bin/isabelle getenv -b ML_PLATFORM)
if [ -n "$DO_LIBRARY" ]; then
- ./build -bait
+ ./build -bait -m all
else
./build -b HOL
fi