1 files changed, 1 insertions, 1 deletions

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"