Mail Archives: djgpp-workers/2001/09/16/14:43:17
> From: sandmann AT clio DOT rice DOT edu (Charles Sandmann)
> Date: Sun, 16 Sep 2001 09:09:05 -0500 (CDT)
> >
> > Getting Make to be really insensitive to file-name letter-case
> > requires heavy changes in Make sources, since it uses strcmp, and
> > there's no clear indication whether the compared strings are file
> > names or parts thereof, or just strings. So I decided not to do that
> > after considering the issues involved.
>
> OK, no problem. I was just *really* confused why it was doing this,
> now I know. If it were not for make -d and that cryptic message - I'd
> probably still be looking ...
See README.DOS in the Make distribution (there are a few more
subtleties described there ;-).
> A libc "make" certainly shows it very early - I think when definining
> some symbols (shell built-in)? Something in popen or similar?
Yes, it's probably $(shell): it calls `popen', and `popen' uses
temporary file names djNNNNNN.
> > (Yes, you guessed it: my wife got a notebook with W2K Professional.)
>
> Welcome to the W2K club. Be nice to her so she'll let you borrow it :-)
Well, for now I use it more than she does, since she wants me to
install and set up all kinds of things there ;-)
Btw, the file-name completion in W2K's cmd.exe seems to be broken: you
cannot customize the completion character, even though "cmd /?" says
you should be able to. No matter what I did, I couldn't get TAB to
complete, only (the default) C-f. Am I missing something, or is it a
bug? The Knowledge Base is silent about this (more accurately, it
repeats the story told by "cmd /?").
- Raw text -