Re: How to choose the shell?

Paul Smith <[email protected]> Sun, 05 Sep 2021 12:53:47 -0400

Newsgroups	gmane.comp.gnu.make.windows
Organization	GNU's Not UNIX!
Message-ID	<[email protected]>

On Sun, 2021-09-05 at 19:50 +0300, Eli Zaretskii wrote:
> > If you change the default shell, then make will never use any
> > shortcuts since, obviously, it can't know what the syntax is of
> > some other random shell.
> 
> I don't think Make on Windows does this bit.

Are you sure?  If not, that's definitely a bad bug in the Windows port
of GNU make.