[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: |
Mon, 11 May 2015 13:36:54 +0200 |
User-agent: |
Mutt/1.5.22.rev6346 (2013-10-29) |
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
Re: [PATCH] Remove CPPFLAGS_XEN, Andrei Borzenkov, 2015/05/11