PATCH: non-GNU make broken again during `make bootstrap'

[Mark Mitchell]

> Applied to mainline.  Reopened PR 4422.  Permission to fix branch as
> well?

If this is merely a reversion of an earlier patch, yes.

Thanks,

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com