unset ISABELLE_SETTINGS_PRESENT;
authorwenzelm
Thu Oct 07 14:31:20 1999 +0200 (1999-10-07 ago)
changeset 7782d4a6464ed61e
parent 7781 7a8e91b8c100
child 7783 9ace4017ead8
unset ISABELLE_SETTINGS_PRESENT;
build
     1.1 --- a/build	Thu Oct 07 14:31:01 1999 +0200
     1.2 +++ b/build	Thu Oct 07 14:31:20 1999 +0200
     1.3 @@ -160,6 +160,7 @@
     1.4  HOST=$(hostname)
     1.5  echo "Started at $DATE ($HOST)"
     1.6  
     1.7 +unset ISABELLE_SETTINGS_PRESENT
     1.8  export THIS_IS_ISABELLE_BUILD=true
     1.9  
    1.10  for L in $MAKE_LOGICS