[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: |
Mike Hommey |
Subject: |
Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time |
Date: |
Fri, 31 Jan 2014 22:15:56 +0900 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Fri, Jan 31, 2014 at 11:37:47AM +0200, Eli Zaretskii wrote:
> > Date: Fri, 31 Jan 2014 09:14:32 +0000
> > From: Mike Hommey <address@hidden>
> >
> > This is a different approach to the problem, as suggested by Paul: this
> > triggers batch mode shell when there are double quotes in the recipe.
>
> This cannot be automatic, as we have deliberately made the double
> quotes not special for Windows shells.
You mean cmd.exe? The patch only uses batch mode shell when there are
double quotes *and* the shell is unixy (so, not cmd.exe)
> So please make this
> conditional on some Make option (sorry, I didn't yet have time to look
> at the patch).
An option as command line argument, or as a special target as the
original patch did?
Mike
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, (continued)
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/17
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/17
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/18
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, David Boyce, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/31
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Eli Zaretskii, 2014/01/31
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time,
Mike Hommey <=
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Eli Zaretskii, 2014/01/31
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul Smith, 2014/01/31
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Ray Donnelly, 2014/01/31