# HG changeset patch
# User wenzelm
# Date 1318270465 -7200
# Node ID fc3bb3a42369dbad61debc5a23fb12adf867dbf5
# Parent  c15b0faeb70a25523264481d9d8608ec898f537d
include no-smlnj targets into library (cf. e54a985daa61);

diff -r c15b0faeb70a -r fc3bb3a42369 Admin/makebin
--- 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