From 16c6ce41acb9e0c4ebb22c5eb76723a1a8b8871b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Fr=C3=A9d=C3=A9ric=20Perrin?= <frederic.perrin@resel.fr>
Date: Sun, 24 Nov 2019 14:05:07 +0000
Subject: [PATCH] Abort build on error

---
 buildtools/build.sh | 1 +
 1 file changed, 1 insertion(+)
 mode change 100644 => 100755 buildtools/build.sh

diff --git a/buildtools/build.sh b/buildtools/build.sh
old mode 100644
new mode 100755
index b38e2ce..c7fcf3d
--- a/buildtools/build.sh
+++ b/buildtools/build.sh
@@ -1,3 +1,4 @@
+set -e
 # Build script
 # Version number
 PRUNENAME=gpsprune_19.2
-- 
2.43.0