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.
more robust;
authorwenzelm
Sat, 27 Mar 2021 20:53:11 +0100
changeset 73490 d31d229eb8df
parent 73489 9460f1f45405
child 73491 dbe5bbc2331e
more robust;
lib/Tools/setup file | annotate | diff | comparison | revisions 
--- a/lib/Tools/setup	Sat Mar 27 20:39:14 2021 +0100
+++ b/lib/Tools/setup	Sat Mar 27 20:53:11 2021 +0100
@@ -100,7 +100,7 @@
     PULL=true
   fi
 
-  isabelle components -I
+  isabelle components -I || exit "$?"
 
   #Atomic exec: avoid inplace update of running script!
   export CLEAN PULL
isabelle