diff options
| -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 "$@" |