[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Case-sensitivity in DOS filenames
From: |
Paul D. Smith |
Subject: |
Re: Case-sensitivity in DOS filenames |
Date: |
Sat, 22 Nov 2003 10:17:29 -0500 |
%% Eli Zaretskii <address@hidden> writes:
>> 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.
ez> That's only because no one submitted a patch to do that, I think
ez> (although Paul, who maintains Make, should have the definitive
ez> say-so).
I have no problem in principle with this being a runtime choice rather
than a compile-time choice. I can see lots of opportunity for gross
implementation though so it would have to be carefully considered.
--
-------------------------------------------------------------------------------
Paul D. Smith <address@hidden> Find some GNU make tips at:
http://www.gnu.org http://make.paulandlesley.org
"Please remain calm...I may be mad, but I am a professional." --Mad Scientist
- Case-sensitivity in DOS filenames, Jens M Pedersen, 2003/11/18
- Re: Case-sensitivity in DOS filenames, Earnie Boyd, 2003/11/18
- RE: Case-sensitivity in DOS filenames, Andy Voelkel, 2003/11/18
- Re: Case-sensitivity in DOS filenames, Eli Zaretskii, 2003/11/18
- RE: Case-sensitivity in DOS filenames, Andy Voelkel, 2003/11/18
- Re: Case-sensitivity in DOS filenames, Eli Zaretskii, 2003/11/19
- RE: Case-sensitivity in DOS filenames, Andy Voelkel, 2003/11/19
- Re: Case-sensitivity in DOS filenames, Eli Zaretskii, 2003/11/19
- Re: Case-sensitivity in DOS filenames,
Paul D. Smith <=