From 97c117d015a868d281c78807884f7ff570171a68 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 18 Jun 2025 09:01:49 +0200
Subject: Make tool fail if build fails

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build')

diff --git a/build b/build
index c920e8a..6ece431 100755
--- a/build
+++ b/build
@@ -382,7 +382,7 @@ build_tool() {
 		exit 1
 	fi
 
-	build_nissy
+	build_nissy || exit 1
 
 	results="tools/results"
 	last="$results/last.out"
-- 
cgit v1.3