# HG changeset patch
# User wenzelm
# Date 1193254937 -7200
# Node ID 261d6791952c396259d05a6cfe11e00111a05c59
# Parent  64e3f45dc6f4b425ccb1950a33a49ed679c44b51
THIS_IS_ISABELLE_MAKEBIN;

diff -r 64e3f45dc6f4 -r 261d6791952c Admin/makebin
--- 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