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 /.github | |
| parent | 0d6822ee71c1f60c8003e13ab149501e586f9ae6 (diff) | |
| download | bfs-491dde55a5d153b567dc20b203b492f7c73b64c0.tar.xz | |
build: Use exec "$@" rather than just "$@"
This avoids extra error reporting from set -e.
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/diag.sh | 2 |
1 files changed, 1 insertions, 1 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) |