diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-06-11 15:54:55 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-06-11 15:54:55 -0400 |
| commit | 491dde55a5d153b567dc20b203b492f7c73b64c0 (patch) | |
| tree | 8230a8541080331b734acf5a0c7e781147019701 | |
| parent | 0d6822ee71c1f60c8003e13ab149501e586f9ae6 (diff) | |
| download | bfs-491dde55a5d153b567dc20b203b492f7c73b64c0.tar.xz | |
build: Use exec "$@" rather than just "$@"
This avoids extra error reporting from set -e.
| -rwxr-xr-x | .github/diag.sh | 2 | ||||
| -rwxr-xr-x | build/msg.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.github/diag.sh b/.github/diag.sh index 9388309..fe78be8 100755 --- a/.github/diag.sh +++ b/.github/diag.sh @@ -13,4 +13,4 @@ filter() { \1/' } -"$@" > >(filter) 2> >(filter >&2) +exec "$@" > >(filter) 2> >(filter >&2) diff --git a/build/msg.sh b/build/msg.sh index a7da31b..2249125 100755 --- a/build/msg.sh +++ b/build/msg.sh @@ -59,4 +59,4 @@ if is_loud; then printf '%s\n' "$*" fi -"$@" +exec "$@" |