[clisp-list] Re: Benchmarks makefile doesn't work with BSD make

[Magnus H. <ma...@fr...>]

Sam Steingold <sd...@gn...> writes:

> I thought that this:
> MAKE=gmake ./configure ....
> was supposed to work.
> does it?

It does.

> this is not the only gnu makefile there, and I don't think it is worth
> changing.
> benchmarks are run only by "developers" (and that includes pre-testers :-)
> who are savvy enough to be able to use gnu make.

That makes sense.

Magnus