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"

diff --git a/build b/build index c920e8a..6ece431 100755 --- a/build +++ b/build
@@ -382,7 +382,7 @@ build_tool() {
382	exit 1	382	exit 1
383	fi	383	fi
384		384
385	build_nissy	385	build_nissy \|\| exit 1
386		386
387	results="tools/results"	387	results="tools/results"
388	last="$results/last.out"	388	last="$results/last.out"