make-w32
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Case-sensitivity in DOS filenames


From: Eli Zaretskii
Subject: Re: Case-sensitivity in DOS filenames
Date: 19 Nov 2003 08:52:47 +0200

> From: "Andy Voelkel" <address@hidden>
> Date: Tue, 18 Nov 2003 22:13:40 -0800
> 
> Based on this discussion, for instance, I'd have to say that GNU
> make, in a Windows environment, is flawed because the
> case-sensitivity cannot be controlled at runtime.

That's only because no one submitted a patch to do that, I think
(although Paul, who maintains Make, should have the definitive
say-so).





reply via email to

[Prev in Thread] Current Thread [Next in Thread]