On 2013-09-08, Rupert Swarbrick <rswarbrick at gmail.com> wrote:
> Yep, that makes sense. Robert: would you prefer we did it like this? I
> (wrongly?) thought that the build failed spectacularly elsewhere if Make
> !=3D GNU Make. If not, I can make the changes easily enough. (Or, of
> course, anyone else can!)
I don't have a preference. You can employ what seems a workable
solution to you.
best
Robert Dodier