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: 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




reply via email to

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