# HG changeset patch
# User wenzelm
# Date 1616873954 -3600
# Node ID 9460f1f454054fd28024e0a46420dcce01fe1ae1
# Parent  97692af929a43ded850d06e8c57c9dbcbf15cccc
more robust: explicit repository root;

diff -r 97692af929a4 -r 9460f1f45405 lib/Tools/setup
--- a/lib/Tools/setup	Sat Mar 27 20:37:49 2021 +0100
+++ b/lib/Tools/setup	Sat Mar 27 20:39:14 2021 +0100
@@ -93,7 +93,7 @@
   export LANG=C
   export HGPLAIN=
 
-  if "${HG:-hg}" id -r "$REV" >/dev/null 2>/dev/null
+  if "${HG:-hg}" -R "$ISABELLE_HOME" id -r "$REV" >/dev/null 2>/dev/null
   then
     PULL=""
   else
@@ -107,10 +107,10 @@
   exec bash -c '
     set -e
     if [ -n "$PULL" ]; then
-      "${HG:-hg}" pull -r "$REV"
+      "${HG:-hg}" -R "$ISABELLE_HOME" pull -r "$REV"
     fi
-    "${HG:-hg}" update -r "$REV" $CLEAN
+    "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN
     isabelle components -a
-    "${HG:-hg}" log -r "$REV"
+    "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
   '
 fi