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 m...@glandium.org Cc: Eli Zaretskii e...@gnu.org, 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

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 m...@glandium.org 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

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

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 wpmcnam...@yahoo.com wrote: David Boyce-3 wrote I think the headline here is that $(file) is analogous to $(shell) in that it's intended

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 lt; wpmcnamara@ gt; wrote: David Boyce-3 wrote I think the headline here is that $(file) is analogous to $(shell)

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 m...@glandium.org Cc: Eli Zaretskii e...@gnu.org, bug-make@gnu.org I agree about using backslashes as directory separators, that obviously cannot work in /bin/sh,

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 m...@glandium.org 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

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 m...@glandium.org 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

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 m...@glandium.org Cc: psm...@gnu.org, bug-make@gnu.org, bo...@kolpackov.net But the thing is there is

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 m...@glandium.org 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 m...@glandium.org Cc:

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 m...@glandium.org 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

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 m...@glandium.org 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