clarified messages;
authorwenzelm
Sat, 27 Mar 2021 22:26:13 +0100
changeset 73749 e16133a05458
parent 73748 827f53095f1c
child 73750 6365c1b7ac10
clarified messages;
lib/Tools/setup
--- a/lib/Tools/setup	Sat Mar 27 22:19:56 2021 +0100
+++ b/lib/Tools/setup	Sat Mar 27 22:26:13 2021 +0100
@@ -133,5 +133,8 @@
     "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN
     isabelle components -a
     "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
+    if [ ! -f "$ISABELLE_HOME/lib/Tools/setup" ]; then
+      echo >&2 "### The isabelle setup tool has disappeared in this version"
+    fi
   '
 fi