From ab8831ddcdeeebf5db7c4cc900901bc3c64aeb6f Mon Sep 17 00:00:00 2001
From: Leo Dirac <leo@groundlight.ai>
Date: Mon, 11 Dec 2023 21:38:43 +0000
Subject: [PATCH] dobuild exits on error.

---
 dobuild.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dobuild.sh b/dobuild.sh
index 4d2797d..bfd36be 100755
--- a/dobuild.sh
+++ b/dobuild.sh
@@ -5,6 +5,8 @@
 # Instead we'll use docker build, which is slower but more reliable.
 # docker build - slower but more reliable.
 
+set -e  # exit on error
+
 # check if the IS_RELEASE variable is set to "1"
 if [ "$IS_RELEASE" = "1" ]; then
     echo "Building release version"