Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time

[Paul Smith]

On Thu, 2014-02-27 at 10:53 +0900, Mike Hommey wrote:
> > I have no problems with your original patch.  I think I said that
> > right there and then.  If Paul agrees, I will commit it.
> 
> Paul?

I'll reiterate my position that (a) I've seen nothing showing that it's
inherently impossible for make to figure out for itself what the right
thing to do is, instead requiring the user to specify it (if there is
such a case it should be simple to show an example and explain why it's
impossible for make to decide), and (b) given that (a) is true, I'm not
excited about adding a makefile flag to force the user to make that
decision... what happens, for example, if someone does decide to fix
this "the right way" in the future so the user option is not needed...
now we have this make setting which doesn't make any sense but which we
have to maintain for backward-compatibility.


HOWEVER.  I don't know nearly enough about all the variations and
different possibilities on Windows to make sound judgements on the
specific situation, so if Eli is OK with it then I'm OK with it.