wok diff grub2-efi-modules/receipt @ rev 22010

updated task again (2.3.0 -> 2.5.1)
author: Hans-G?nter Theisgen
date: Sat Oct 19 15:19:01 2019 +0100 (2019-10-19)
parents: 4a0e93b2bbe5
children: 996067d113c6
     1.1 --- a/grub2-efi-modules/receipt	Fri May 04 12:13:00 2018 +0200
     1.2 +++ b/grub2-efi-modules/receipt	Sat Oct 19 15:19:01 2019 +0100
     1.3 @@ -15,5 +15,5 @@
     1.4  genpkg_rules()
     1.5  {
     1.6  	mkdir -p $fs/boot/grub/i386-efi
     1.7 -	cp $src/grub-core/*.mod $fs/boot/grub/i386-efi
     1.8 +	cp $src/grub-core/*.mod $src/grub-core/*.lst $fs/boot/grub/i386-efi
     1.9  }