On 07/12/2020 06:17, Mark Geisert wrote:
> On some systems /bin/sh is not /bin/bash and cygmagic has bash-isms in
> it. So even though cygmagic has a /bin/bash shebang, it also needs to be
> launched with bash from within Makefile.in.
Since cygmagic is executable, I don't think we actually need to mention
the shell here at all, but this is fine.