> Date: Mon, 9 Oct 2006 09:54:05 +0100 > From: "John Hall" <[EMAIL PROTECTED]> > Cc: <make-w32@gnu.org> > > I can reproduce it with version.txt just containing the word 'hello' > (with \r\n line terminator).
It works for me. > What does make use the specified shell for? > I traced through the code and whatever I set SHELL to, CreateProcess in > process_begin is launching cat directly - it doesn't seem to use a > shell. ??? Really? Don't you see a temporary batch file being created and run? > I can send you my version of cat if you want. It'd be better if you could try cat.exe from GnuWin32. _______________________________________________ Make-w32 mailing list Make-w32@gnu.org http://lists.gnu.org/mailman/listinfo/make-w32
