--- a/build Thu Oct 07 14:31:01 1999 +0200 +++ b/build Thu Oct 07 14:31:20 1999 +0200 @@ -160,6 +160,7 @@ HOST=$(hostname) echo "Started at $DATE ($HOST)" +unset ISABELLE_SETTINGS_PRESENT export THIS_IS_ISABELLE_BUILD=true for L in $MAKE_LOGICS