From 98f73942b832bc602f8eaa9afa7d912b0e87cb85 Mon Sep 17 00:00:00 2001
From: tth <tth@konrad.lan>
Date: Fri, 1 Jul 2022 23:16:49 +0200
Subject: [PATCH] molly guad

---
 build.sh | 1 +
 1 file changed, 1 insertion(+)

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"