# HG changeset patch
# User wenzelm
# Date 1616926123 -7200
# Node ID 2592a661ddc9ac4d3d29e0ba0a1d38f453086659
# Parent  d34033a937113883f65ceedfe7b04bd91b6b2cdb
tuned;

diff -r d34033a93711 -r 2592a661ddc9 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 '