lib/Tools/setup
changeset 73750 6365c1b7ac10
parent 73749 e16133a05458
child 73751 2d00ea4972d7
--- a/lib/Tools/setup	Sat Mar 27 22:26:13 2021 +0100
+++ b/lib/Tools/setup	Sat Mar 27 22:36:45 2021 +0100
@@ -131,7 +131,11 @@
     set -e
     "${HG:-hg}" -R "$ISABELLE_HOME" pull -r "$REV" "$ISABELLE_REPOS"
     "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN
-    isabelle components -a
+    env ISABELLE_SETTINGS_PRESENT="" \
+      ISABELLE_SITE_SETTINGS_PRESENT="" \
+      ISABELLE_COMPONENTS="" \
+      ISABELLE_COMPONENTS_MISSING="" \
+      isabelle components -a
     "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
     if [ ! -f "$ISABELLE_HOME/lib/Tools/setup" ]; then
       echo >&2 "### The isabelle setup tool has disappeared in this version"