libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 23e04090f73229d63be11992a1370bd6b9a6ea31
parent c4dcb20a18150c3471d3c44122af866f35482c57
Author: Leah Rowe <info@minifree.org>
Date:   Wed, 12 Jul 2017 09:33:54 +0000

Merge branch 'enable-extglob' of kragle/libreboot into master

Diffstat:
libreboot | 2+-
libs/git | 2+-
libs/project | 2+-
3 files changed, 3 insertions(+), 3 deletions(-)

diff --git 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 @@ -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 @@ -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 }