> From: Paul Smith <psm...@gnu.org> > Date: Thu, 07 May 2020 15:20:39 -0400 > > Maybe some setting of the make SHELL variable in your makefile can > convence make to use command.com, but I'm not sure. > > Maybe someone with more experience on Windows than I can comment.
Yes, "SHELL = cmd.exe" in the Makefile should be a good first step.