Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Fri, 07 May 2021 13:37:48 +0200
changeset 73644 0da9e824255f
parent 73640 f4778e08dcd7 (diff)
parent 73643 9b4579e5bced (current diff)
child 73645 dea7f6a2485e
merged
--- a/Admin/init	Fri May 07 13:34:01 2021 +0200
+++ b/Admin/init	Fri May 07 13:37:48 2021 +0200
@@ -153,8 +153,8 @@
 fi
 
 if [ -z "$VERSION" ]; then
-  "$ISABELLE_HOME/bin/isabelle" components -I || exit "?$"
-  "$ISABELLE_HOME/bin/isabelle" components -a || exit "?$"
+  "$ISABELLE_HOME/bin/isabelle" components -I || exit "$?"
+  "$ISABELLE_HOME/bin/isabelle" components -a || exit "$?"
   if [ -n "$BUILD_OPTIONS" ]; then
     "$ISABELLE_HOME/bin/isabelle" jedit $BUILD_OPTIONS
   fi
isabelle