Re: Bug: make fails to execute .BAT files with space in the path, with SHELL=cmd.exe

[Eli Zaretskii]

> Date: Tue, 30 Apr 2013 11:23:41 +0200
> From: Erik Carstensen <address@hidden>
> 
> > Alas, this won't help you for long, because the next release of Make
> >  will not invoke cmd.exe just because the command line has quotes.
> > Such commands are also short-circuited in the development sources.
> >
> 
> Oh. This seems to change make behaviour in a non-backward-compatible way
> when one argument has a trailing backslash.

I will look into this.  I don't remember whether this is on purpose.

> (this is not a problem for my use case; I just wanted to check if this was
> intended. I can't find it mentioned in NEWS)

What about your original problem, is it solved by the patches I sent?