diff options
| author | Junio C Hamano <gitster@pobox.com> | 2022-11-29 12:19:11 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-11-29 12:19:11 +0900 |
| commit | e4606fd231371d01bd956fa386ca1f62c5fb5265 (patch) | |
| tree | 1005fafae9866c77d373177487ac7835e071304b | |
| parent | 564ca6c9b6c2ea220ec3c804357909a27284e6e7 (diff) | |
| download | git-e4606fd231371d01bd956fa386ca1f62c5fb5265.tar.gz | |
Meta/round: do not return but exit from toplevel
| -rwxr-xr-x | round | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,6 +41,6 @@ do Meta/Make -j16 "$t" ;; esac && - Meta/Make -j16 distclean >/dev/null 2>&1 || return 1 + Meta/Make -j16 distclean >/dev/null 2>&1 || exit 1 done && Meta/Make -j16 distclean |