mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 23:32:39 +00:00
Resync grub-mkdevicemap in x86_64-efi.
* conf/x86_64-efi.rmk (sbin_UTILITIES): Enable `grub-mkdevicemap'.
(grub_mkdevicemap_SOURCES): Add missing `util/deviceiter.c' and
`util/devicemap.c'.