diff options
author | Leah Rowe <leah@libreboot.org> | 2025-04-16 00:35:53 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2025-04-16 00:35:53 +0100 |
commit | f5f82db8a7daf3f375fa9993d4798d5182d05b74 (patch) | |
tree | a268c291512809ac01d251109c89ec0259d4b5e0 | |
parent | 58a53d7046fdfe8ff4e8a16d3a5f6c2562699384 (diff) |
mk: add missing error handler on ./mk -f
when doing ./mk release, ./mk -f is called, but
there was no error handling.
The mk script does set -e, but this is generally
only a fallback and should not be relied upon.
So there already was error handling, but only just.
This change makes it more explicit, for reliability.
Signed-off-by: Leah Rowe <leah@libreboot.org>
-rwxr-xr-x | mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -86,7 +86,7 @@ build_release() { ( cd "$srcdir" || $err "$vdir: !cd \"$srcdir\"" - ./mk -f + x_ ./mk -f x_ rm -Rf tmp rmgit . x_ mv src/docs docs |