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

2014-02-05 Thread Mike Hommey
On Thu, Feb 06, 2014 at 07:44:11AM +0200, Eli Zaretskii wrote: > > Date: Thu, 6 Feb 2014 06:23:46 +0900 > > From: Mike Hommey > > Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net > > > > On Wed, Feb 05, 2014 at 11:10:11PM +0200, Eli Zaretskii wrote: > > > > Date: Thu, 6 Feb 2014 05:58:08

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

2014-02-05 Thread Eli Zaretskii
> Date: Thu, 6 Feb 2014 06:31:15 +0900 > From: Mike Hommey > Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net > > > Except when make is built with BATCH_MODE_SHELL_ONLY. Which is needed > > when sh -c fucks up with double quotes. > > And, more importantly, it's the first two that don't

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

2014-02-05 Thread Eli Zaretskii
> Date: Thu, 6 Feb 2014 06:23:46 +0900 > From: Mike Hommey > Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net > > On Wed, Feb 05, 2014 at 11:10:11PM +0200, Eli Zaretskii wrote: > > > Date: Thu, 6 Feb 2014 05:58:08 +0900 > > > From: Mike Hommey > > > Cc: psm...@gnu.org, bug-make@gnu.org,

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

2014-02-05 Thread Mike Hommey
On Thu, Feb 06, 2014 at 06:23:46AM +0900, Mike Hommey wrote: > On Wed, Feb 05, 2014 at 11:10:11PM +0200, Eli Zaretskii wrote: > > > Date: Thu, 6 Feb 2014 05:58:08 +0900 > > > From: Mike Hommey > > > Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net > > > > > > But the thing is there is st

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

2014-02-05 Thread Mike Hommey
On Wed, Feb 05, 2014 at 11:10:11PM +0200, Eli Zaretskii wrote: > > Date: Thu, 6 Feb 2014 05:58:08 +0900 > > From: Mike Hommey > > Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net > > > > But the thing is there is still inconsistency in how things end up being > > invoked whether > > - ma

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

2014-02-05 Thread Eli Zaretskii
> Date: Thu, 6 Feb 2014 05:58:08 +0900 > From: Mike Hommey > Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net > > But the thing is there is still inconsistency in how things end up being > invoked whether > - make calls them directly > - make uses sh -c > - make uses sh script.sh When t

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

2014-02-05 Thread Mike Hommey
On Wed, Feb 05, 2014 at 05:42:17PM +0200, Eli Zaretskii wrote: > > Date: Wed, 5 Feb 2014 16:30:25 +0900 > > From: Mike Hommey > > Cc: Eli Zaretskii , bug-make@gnu.org > > > > > I agree about using backslashes as directory separators, that obviously > > > cannot work in /bin/sh, even on Windows. >

Re: $(file) function bug or not?

2014-02-05 Thread wpmcnamara
David Boyce-3 wrote > Paul has already demonstrated later in the thread that I was wrong. > Nothing to see here, move along. > > David > > On Wed, Feb 5, 2014 at 7:42 AM, wpmcnamara < > wpmcnamara@ > > wrote: >> David Boyce-3 wrote >>> I think the headline here is that $(file) is analogous to $

Re: $(file) function bug or not?

2014-02-05 Thread David Boyce
Paul has already demonstrated later in the thread that I was wrong. Nothing to see here, move along. David On Wed, Feb 5, 2014 at 7:42 AM, wpmcnamara wrote: > David Boyce-3 wrote >> I think the headline here is that $(file) is analogous to $(shell) in >> that it's intended specifically for use _

Re: $(file) function bug or not?

2014-02-05 Thread wpmcnamara
David Boyce-3 wrote > I think the headline here is that $(file) is analogous to $(shell) in > that it's intended specifically for use _outside_ of recipes. Then why does the example given in the GNU Make manual show $(file) being used in a recipe? Not arguing whether it is intended to be used th

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

2014-02-05 Thread Eli Zaretskii
> Date: Wed, 5 Feb 2014 16:33:47 +0900 > From: Mike Hommey > Cc: psm...@gnu.org, bo...@kolpackov.net, bug-make@gnu.org > > On Tue, Feb 04, 2014 at 06:54:36PM +0200, Eli Zaretskii wrote: > > Why are you using backslashes in file names when your shell is a Unixy > > shell? That makes little sense

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

2014-02-05 Thread Eli Zaretskii
> Date: Wed, 5 Feb 2014 16:30:25 +0900 > From: Mike Hommey > Cc: Eli Zaretskii , bug-make@gnu.org > > > I agree about using backslashes as directory separators, that obviously > > cannot work in /bin/sh, even on Windows. > > Actually, with msys sh, it works. But Make doesn't know about that. W