# HG changeset patch
# User wenzelm
# Date 1616874791 -3600
# Node ID d31d229eb8dfb5e0ed173e594c52dd0977f21795
# Parent  9460f1f454054fd28024e0a46420dcce01fe1ae1
more robust;

diff -r 9460f1f45405 -r d31d229eb8df lib/Tools/setup
--- 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