--- 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