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? Looking at configure I see also TARGET_CPPFLAGS and HOST_CPPFLAGS. Perhaps the former should be used for grub, I will try that. Olaf _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
