3 files changed, 3 insertions, 3 deletions
diff --git a/libreboot b/libreboot
index cb3e3831..ce3735d0 100755
--- a/libreboot
+++ b/libreboot
@@ -16,7 +16,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 GLOBIGNORE=".:.." # This enables the shell option 'dotglob' as well.
-shopt -s nullglob
+shopt -s nullglob extglob
 
 libreboot_usage() {
 	local action
diff --git a/libs/git b/libs/git
index 5869825d..550c5d60 100755
--- a/libs/git
+++ b/libs/git
@@ -243,7 +243,7 @@ git_project_patch_recursive() {
 		git_project_patch_recursive "${project}" "${repository}" "${branch}" "$(dirname "${path}")"
 	fi
 
-	for patch in "${patches_path}"/[!.]*.{patch,diff}; do
+	for patch in "${patches_path}"/[!.]*.@(patch|diff); do
 		if [[ "${patch##*.}" == "patch" ]]; then
 			git_patch "${repository_path}" "${branch}" "${patch}"
 		else
diff --git a/libs/project b/libs/project
index 2728d4fa..d2779224 100755
--- a/libs/project
+++ b/libs/project
@@ -465,7 +465,7 @@ project_sources_prepare_patch() {
 	local project_path="$(project_path "${project}")"
 	local patches_path="${project_path}/${PATCHES}"
 
-	for patch in "${patches_path}"/[!.]*.{patch,diff}; do
+	for patch in "${patches_path}"/[!.]*.@(patch|diff); do
 		diff_patch_file "${sources_path}" "${patch}"
 	done
 }