diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-06-18 09:01:49 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-06-18 09:01:49 +0200 |
| commit | 97c117d015a868d281c78807884f7ff570171a68 (patch) | |
| tree | c454ca9ad0822411b7ac86dcd384c106bd24c4d5 | |
| parent | eeb746063a55e7ec89df724beff17e4ba1467fdc (diff) | |
| download | nissy-core-97c117d015a868d281c78807884f7ff570171a68.tar.gz nissy-core-97c117d015a868d281c78807884f7ff570171a68.zip | |
Make tool fail if build fails
| -rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -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" |