[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paul Smith
Subject: Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time
Date: Sun, 02 Mar 2014 10:52:33 -0500

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]