diff options
Diffstat (limited to 'payloads/external/GRUB2')
| -rw-r--r-- | payloads/external/GRUB2/Kconfig | 5 | ||||
| -rw-r--r-- | payloads/external/GRUB2/Makefile | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/payloads/external/GRUB2/Kconfig b/payloads/external/GRUB2/Kconfig index 656f7c9e23..8b199fa1d3 100644 --- a/payloads/external/GRUB2/Kconfig +++ b/payloads/external/GRUB2/Kconfig @@ -4,6 +4,11 @@ choice prompt "GRUB2 version" default GRUB2_MASTER +config GRUB2_STABLE + bool "2.02" + help + Stable GRUB2 version + config GRUB2_MASTER bool "HEAD" help diff --git a/payloads/external/GRUB2/Makefile b/payloads/external/GRUB2/Makefile index 71c7352d3b..db15d4676e 100644 --- a/payloads/external/GRUB2/Makefile +++ b/payloads/external/GRUB2/Makefile @@ -1,7 +1,9 @@ TAG-$(CONFIG_GRUB2_MASTER)= TAG-$(CONFIG_GRUB2_REVISION)=$(CONFIG_GRUB2_REVISION_ID) +TAG-$(CONFIG_GRUB2_STABLE)=e54c99aaff5e5f6f5d3b06028506c57e66d8ef77 NAME-$(CONFIG_GRUB2_MASTER)=HEAD NAME-$(CONFIG_GRUB2_REVISION)=$(CONFIG_GRUB2_REVISION_ID) +NAME-$(CONFIG_GRUB2_STABLE)=2.02 project_git_repo=https://git.savannah.gnu.org/git/grub.git/ project_dir=grub2 |