From 491dde55a5d153b567dc20b203b492f7c73b64c0 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Tue, 11 Jun 2024 15:54:55 -0400
Subject: build: Use exec "$@" rather than just "$@"

This avoids extra error reporting from set -e.
---
 .github/diag.sh | 2 +-
 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 "$@"
-- 
cgit v1.2.3