diff --git a/build.sh b/build.sh
index 760045d..5be98f3 100755
--- a/build.sh
+++ b/build.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
 
+set -e				# obort on error
 
 cd Lib
 echo "========== in $PWD"