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