THIS_IS_ISABELLE_BUILD;
authorwenzelm
Wed Sep 27 19:51:11 2000 +0200 (2000-09-27)
changeset 100971db5bd97f6a3
parent 10096 6cbe69107c18
child 10098 ab0a3188f398
THIS_IS_ISABELLE_BUILD;
Admin/makebin
     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