Done in 009b53f (current ‘core-updates’.)
Ludo’.
Andy Wingo skribis:
> On Thu 17 Dec 2015 22:43, l...@gnu.org (Ludovic Courtès) writes:
>
>> Andy Wingo skribis:
>>
>>> We should be using C_INCLUDE_PATH instead of CPATH, to mark system
>>> headers as system headers. Except that C_INCLUDE_PATH only works for
>>> C, so we need to also set CPLUS_
Thank you for thinking about this :)
On Thu 17 Dec 2015 22:43, l...@gnu.org (Ludovic Courtès) writes:
> Andy Wingo skribis:
>
>> We should be using C_INCLUDE_PATH instead of CPATH, to mark system
>> headers as system headers. Except that C_INCLUDE_PATH only works for
>> C, so we need to also se
