On Mon, May 11, Olaf Hering wrote: > On Mon, May 11, Vladimir 'phcoder' Serbinenko wrote: > > > GRUB is built with -nostd*. So when we want headers from /usr/include we > > can't > > omit including them > Likely, but which stdint.h is required for the changed commands? The one > from the system or the one from gnulib?
Any word on that? I think my patch is correct. > Looking at configure I see also TARGET_CPPFLAGS and HOST_CPPFLAGS. > Perhaps the former should be used for grub, I will try that. Setting TARGET_CPPFLAGS works. Olaf _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
