From 441922336baf4e302e3b88849c5a08c73b602044 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Mon, 4 Nov 2024 20:26:34 +0000
Subject: [PATCH] test: set nullglob to avoid failure when building without
 sd-boot

2024-11-04T20:13:17.3258095Z + for loader in build/src/boot/efi/*{.efi,.efi.stub}
2024-11-04T20:13:17.3258275Z ++ sbverify --list 'build/src/boot/efi/*.efi'
2024-11-04T20:13:17.3258525Z + [[ Error reading file build/src/boot/efi/*.efi: No such file or directory
2024-11-04T20:13:17.3258952Z Can't open image build/src/boot/efi/*.efi != \N\o\ \s\i\g\n\a\t\u\r\e\ \t\a\b\l\e\ \p\r\e\s\e\n\t ]]
---
 .github/workflows/build_test.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build_test.sh b/.github/workflows/build_test.sh
index d2123dfd6a..cc989da043 100755
--- a/.github/workflows/build_test.sh
+++ b/.github/workflows/build_test.sh
@@ -3,6 +3,8 @@
 
 set -ex
 
+shopt -s nullglob
+
 info() { echo -e "\033[33;1m$1\033[0m"; }
 fatal() { echo >&2 -e "\033[31;1m$1\033[0m"; exit 1; }
 success() { echo >&2 -e "\033[32;1m$1\033[0m"; }
-- 
2.25.1