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.
