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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github')

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)
-- 
cgit v1.2.3