commit 97c117d015a868d281c78807884f7ff570171a68 parent eeb746063a55e7ec89df724beff17e4ba1467fdc Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Wed, 18 Jun 2025 09:01:49 +0200 Make tool fail if build fails Diffstat:
M | build | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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"