If you're already changing it could you used GRUB_GZ_ rather than GZ_ prefix?
Le Thu, Aug 3, 2017 à 6:13 PM, Pete Batard <p...@akeo.ie> a écrit : > Regards, > > /Pete > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > https://lists.gnu.org/mailman/listinfo/grub-devel >
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
