Other platforms specify license in platform-specific files but corresponding code for emu is in kernel, so datetime ends up without license section.
Signed-off-by: Vladimir Serbinenko <phco...@gmail.com> --- grub-core/lib/datetime.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/grub-core/lib/datetime.c b/grub-core/lib/datetime.c index 9120128ca..8f0922fb0 100644 --- a/grub-core/lib/datetime.c +++ b/grub-core/lib/datetime.c @@ -21,6 +21,11 @@ #include <grub/i18n.h> #include <grub/misc.h> #include <grub/mm.h> +#ifdef GRUB_MACHINE_EMU +#include <grub/dl.h> + +GRUB_MOD_LICENSE ("GPLv3+"); +#endif static const char *const grub_weekday_names[] = { -- 2.49.0 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel