Re: Case-insensitive targets

[Eli Zaretskii]

> From: Gisle Vanem <address@hidden>
> Date: Thu, 2 Aug 2018 14:39:30 +0200
> 
> I understand that real files should be treated in a case-insensitive
> manner, but such "phony" targets (whatever it's called)?

I'm not sure Make can distinguish between the two kinds.  E.g., the
rules for generating the "phony" target could be given later.  Paul
will know for sure.

And anyway, wouldn't it be confusing if case-sensitivity changed
depending on whether a file exists or doesn't?

> I fail to understand all the details around '-DHAVE_CASE_INSENSITIVE_FS',
> but is the above .mak-file working as designed on Windows?

Yes.  AFAIR, We deliberately down-case file names we read from the
filesystem before recording them in the Make's internal memory.