[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Remove CPPFLAGS_XEN
From: |
Olaf Hering |
Subject: |
Re: [PATCH] Remove CPPFLAGS_XEN |
Date: |
Wed, 13 May 2015 12:31:48 +0200 |
User-agent: |
Mutt/1.5.22.rev6346 (2013-10-29) |
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
Re: [PATCH] Remove CPPFLAGS_XEN, Andrei Borzenkov, 2015/05/11