lib/Tools/setup
changeset 73745 d31d229eb8df
parent 73744 9460f1f45405
child 73746 dbe5bbc2331e
--- 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