Make non-matching globs expand to nothing

Fixup for 2548e3b.
my-little-world · May 31, 2023 · c013fea · c013fea
1 parent d3f4183
commit c013fea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)