--- a/Admin/makebin Wed Oct 24 21:33:37 2007 +0200 +++ b/Admin/makebin Wed Oct 24 21:42:17 2007 +0200 @@ -13,6 +13,7 @@ type -path gtar >/dev/null && TAR=gtar export THIS_IS_ISABELLE_BUILD=true +export THIS_IS_ISABELLE_MAKEBIN=true ## diagnostics