Re: [RFA/mingw32] environment variables are case-insensitive on win32

Pedro Alves
2012-11-30T15:41:24Z

On 11/30/2012 03:38 PM, Jerome Guitton wrote:
> Jerome Guitton (guitton@adacore.com):
>
>>> BTW, this would be more correctly modeled as a target property, not
>>> host property.
>>
>> Hm, indeed. I'll add a new hook in gdbarch then.
>
> Hmm. In theory that would be true, but the problem is that as of today
> the environment seems to come from the host: in each inferior record, the
> environment field is initialized by make_environment, which gets
> it from the host. I cannot find any place where this would be updated
> by gdbarch.
>
> Actually, the semantics of the "path" command is not quite clear to me
> when host != target. In particular, you usually call it before
> creating the inferior...

Indeed. We don't really support these with remote targets yet, so
I'm okay with leaving it host-dependent in the mean time.

--
Pedro Alves