From c013fea7efc1e0d8c6227f8f1e1c1a5216d7dc79 Mon Sep 17 00:00:00 2001
From: Gunter Labes <soliton@wesnoth.org>
Date: Wed, 31 May 2023 20:23:11 +0200
Subject: [PATCH] Make non-matching globs expand to nothing

Fixup for 2548e3b.
---
 utils/CI/schema_validation.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/CI/schema_validation.sh b/utils/CI/schema_validation.sh
index 6f897d69eff..4a37e5e5f11 100755
--- a/utils/CI/schema_validation.sh
+++ b/utils/CI/schema_validation.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-shopt -s globstar
+shopt -s globstar nullglob
 
 TERM=${TERM-xterm} # hopefully a good approximation of what github supports
 reset=$(tput sgr0)