tuned;
authorwenzelm
Sun, 28 Mar 2021 12:08:43 +0200
changeset 73762 2592a661ddc9
parent 73761 d34033a93711
child 73763 001097314d09
tuned;
Admin/setup
--- a/Admin/setup	Sun Mar 28 12:07:46 2021 +0200
+++ b/Admin/setup	Sun Mar 28 12:08:43 2021 +0200
@@ -143,11 +143,11 @@
     fail "Missing file \"$VERSION_PATH\""
   fi
 
+  "$ISABELLE_HOME/bin/isabelle" components -I || exit "$?"
+
   export LANG=C
   export HGPLAIN=
 
-  "$ISABELLE_HOME/bin/isabelle" components -I || exit "$?"
-
   #Atomic exec: avoid inplace update of running script!
   export CLEAN_FORCE CLEAN_CHECK REV ISABELLE_REPOS BUILD_OPTIONS
   exec bash -c '