include no-smlnj targets into library (cf. e54a985daa61);
authorwenzelm
Mon Oct 10 20:14:25 2011 +0200 (2011-10-10 ago)
changeset 45126fc3bb3a42369
parent 45125 c15b0faeb70a
child 45127 d2eb07a1e01b
include no-smlnj targets into library (cf. e54a985daa61);
Admin/makebin
     1.1 --- a/Admin/makebin	Mon Oct 10 16:47:45 2011 +0200
     1.2 +++ b/Admin/makebin	Mon Oct 10 20:14:25 2011 +0200
     1.3 @@ -94,7 +94,7 @@
     1.4  PLATFORM=$(./bin/isabelle getenv -b ML_PLATFORM)
     1.5  
     1.6  if [ -n "$DO_LIBRARY" ]; then
     1.7 -  ./build -bait
     1.8 +  ./build -bait -m all
     1.9  else
    1.10    ./build -b HOL
    1.11  fi