Add grub-efi packages to armhf media

2019-02-11 16:37:39 +00:00 · 2019-02-11 16:37:39 +00:00 · 44ea4bc0e3
parent c75a7b60a6
commit 44ea4bc0e3
2 changed files with 6 additions and 0 deletions
--- a/debian/changelog
+++ b/debian/changelog
@ -8,6 +8,9 @@ debian-cd (3.1.23) UNRELEASED; urgency=medium
  * contrib/HEADER.html.in: add paragraphs describing the Debian Edu netinst
    images for amd64 and i386.

+  [ Steve McIntyre ]
+  * Add grub-efi packages to armhf media
+
 -- Holger Levsen <holger@debian.org>  Thu, 07 Feb 2019 15:53:42 +0100

 debian-cd (3.1.22) unstable; urgency=medium
--- a/tools/generate_di+k_list
+++ b/tools/generate_di+k_list
@ -215,6 +215,9 @@ busybox
 flash-kernel
 linux-image-armmp
 linux-image-armmp-lpae
+grub-efi
+grub-efi-arm
+grub-efi-arm-bin
 #endif

 #ifdef ARCH_arm64