# HG changeset patch
# User wenzelm
# Date 1616925740 -7200
# Node ID a35b2ee3148f5e169c39c79db57c9961143a76d9
# Parent  c259c7a42ac3e0d3eb2927bef8c14609dd6f7eff
proper export;

diff -r c259c7a42ac3 -r a35b2ee3148f Admin/setup
--- a/Admin/setup	Sun Mar 28 11:59:30 2021 +0200
+++ b/Admin/setup	Sun Mar 28 12:02:20 2021 +0200
@@ -148,7 +148,7 @@
   "$ISABELLE_HOME/bin/isabelle" components -I || exit "$?"
 
   #Atomic exec: avoid inplace update of running script!
-  export CLEAN REV ISABELLE_REPOS BUILD_OPTIONS
+  export CLEAN_FORCE CLEAN_CHECK REV ISABELLE_REPOS BUILD_OPTIONS
   exec bash -c '
     set -e
     "${HG:-hg}" -R "$ISABELLE_HOME" pull -r "$REV" "$ISABELLE_REPOS"