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

[Eli Zaretskii]

> From: Paul Smith <address@hidden>
> Cc: Eli Zaretskii <address@hidden>, address@hidden, address@hidden
> Date: Sun, 02 Mar 2014 10:52:33 -0500
> 
> 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.

I don't think (a) is possible, unless we decide that the option is
only for when MSYS Bash is being used as the shell, and we teach Make
to detect that flavor of Bash.  If we do that, other users who just
might need this mode of operation will not have any fire escapes.  And
if we don't want this only for MSYS, then I don't even know how to
define the conditions under which this option will be needed.

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

OK.