Re: GNU make 4.2.90 release candidate available

[Eli Zaretskii]

> From: Paul Smith <address@hidden>
> Cc: address@hidden
> Date: Sat, 31 Aug 2019 10:13:33 -0400
> 
> Sorry, I'm away from home for the long US holiday.  I expect to be able
> to do a bunch of work and possibly make another RC on Monday or so.
> 
> The change you made below looks like it should work, but I haven't had
> a chance to try it.  I really don't know why the extra /bin/sh is there
> but I've traced back the Git history and it's been there since the
> initial checkin of the test suite.

Thanks for reviewing, I will wait for you to verify this works on
Posix systems.