Admin/makebin
changeset 10097 1db5bd97f6a3
parent 10090 36d1218b58f4
child 10101 746263fbcbfd
     1.1 --- a/Admin/makebin	Wed Sep 27 19:39:50 2000 +0200
     1.2 +++ b/Admin/makebin	Wed Sep 27 19:51:11 2000 +0200
     1.3 @@ -14,6 +14,8 @@
     1.4  TAR=tar
     1.5  type -path gtar >/dev/null && TAR=gtar
     1.6  
     1.7 +export THIS_IS_ISABELLE_BUILD=true
     1.8 +
     1.9  
    1.10  ## diagnostics
    1.11