From 6332c815348194a9fd85a6c6da33049d1af9aaa9 Mon Sep 17 00:00:00 2001 From: Kristian Amlie Date: Thu, 26 Aug 2021 14:46:10 +0200 Subject: [PATCH] Upgrade to grub-mender-grubenv tools with new names. Changelog: grub-mender-grubenv: User space tools, "fw_printenv" and "fw_setenv" have been renamed to "grub-mender-grubenv-print" and "grub-mender-grubenv-set", respectively. This has been done in order to avoid conflict with U-Boot's user space tools, which have the same names. Signed-off-by: Kristian Amlie --- configs/mender_grub_config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configs/mender_grub_config b/configs/mender_grub_config index 1c8b956..69382ca 100644 --- a/configs/mender_grub_config +++ b/configs/mender_grub_config @@ -17,7 +17,7 @@ GRUB_VERSION=2.04 MENDER_GRUB_KERNEL_BOOT_ARGS="" # grub-mender-grubenv is the Mender integration for the GRUB bootloader -MENDER_GRUBENV_VERSION="aa7e8f8c76c6aca6dca1820aaa42dc2cbf9762a1" +MENDER_GRUBENV_VERSION="1a7db967495bbe8be53b7a69dcb42822f39d9a74" MENDER_GRUBENV_URL="${MENDER_GITHUB_ORG}/grub-mender-grubenv/archive/${MENDER_GRUBENV_VERSION}.tar.gz" # Name of the storage device containing root filesystem partitions in GRUB