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

[Eli Zaretskii]

> 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.  So please make this
conditional on some Make option (sorry, I didn't yet have time to look
at the patch).