more robust: explicit repository root;
authorwenzelm
Sat, 27 Mar 2021 20:39:14 +0100
changeset 73744 9460f1f45405
parent 73743 97692af929a4
child 73745 d31d229eb8df
more robust: explicit repository root;
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