From f7e42bfebc4189441ad21da9402ed593dbc5f4f1 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Fri, 5 Mar 2021 11:30:52 -0600
Subject: [PATCH] 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.
---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 7fa2953b37aa3..32e3bc900cf59 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";