> From: Gisle Vanem <gisle.va...@gmail.com> > 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. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make