diff options
author | cyqsimon <28627918+cyqsimon@users.noreply.github.com> | 2023-08-27 00:26:57 +0800 |
---|---|---|
committer | cyqsimon <28627918+cyqsimon@users.noreply.github.com> | 2023-08-30 11:09:29 +0800 |
commit | f37f70b074b2b8ebcab08bd00d544553003be0e3 (patch) | |
tree | 646ef6aaca949a6a8fafb12a2092eb3ecfe1fe22 /.github | |
parent | 9c11b59c55ad6933d7f0abf2893e73b98b2a7c10 (diff) |
Don't use `mapfile` to be compatible with Bash 3 on MacOS
This does assume that the path `target/*/build/bandwhich-*/stderr` contains no
spaces, but it should be fine.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 584973f..7a1e243 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -37,8 +37,9 @@ jobs: - name: Show build.rs stderr shell: bash run: | - mapfile -d '' -t STDERR_FILES < <(find "./target/debug" -name stderr -print0 | grep -z bandwhich) - for FILE in "${STDERR_FILES[@]}"; do + # it's probably okay to assume no spaces? + STDERR_FILES=$(find "./target/debug" -name stderr | grep bandwhich) + for FILE in $STDERR_FILES; do echo "::group::$FILE" cat "$FILE" echo "::endgroup::" |