diff options
| author | Jeff Epler <jepler@gmail.com> | 2021-03-05 11:30:52 -0600 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2021-03-05 12:50:15 -0600 |
| commit | f7e42bfebc4189441ad21da9402ed593dbc5f4f1 (patch) | |
| tree | 907a029133b73c3c6bf3941a002abac1434d5fbe /.github | |
| parent | 3c50918adcc97379e3ca9e70272f0f272f94a0ca (diff) | |
build.yml: Fix 'Print failure info' to not error
Print Failure Info is for printing differences detected by 'Test all'. When some other step fails, then "*.exp" doesn't match any files at all, and _this_ step fails too.
We will assume that Github Actions always runs with bash as the shell (as it does today). In this case, we can set the "nullglob" shell option, so that a non-existent glob expands to nothing, instead of to itself.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 7fa2953b3..32e3bc900 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -81,6 +81,7 @@ jobs: working-directory: tests - name: Print failure info run: | + shopt -s nullglob; for exp in *.exp; do testbase=$(basename $exp .exp); echo -e "\nFAILURE $testbase"; |