GNU make version

[Michael Stahl]

On 07/03/12 03:22, Norbert Thiebaud wrote:
> iow. the whole thing about 3.82 is slow is unfounded. Stock 3.82 _is_
> slow because there was a bug that has been found and patched, even
> up-streamed by michael IIRC... and that was almost a year ago now...

of course i meant stock 3.82 is slow, because that's what you get by
default if you don't know that the LO project has its own patched make.

but good to know that there is a fix for the problem.

> I was amongst those that resisted the notion of having our own gnu
> make forcibly bootstrapped in the build process, like we have dmake
> now...
> I do not object to a --build-make or something like that in
> configure.in to automate the building of our own gmake... at least
> until the situation settle upstream
> _but_ any such version we optionally build from configure _must_ be
> straight-up compatible with upstream. we cannot afford to start having
> Makefile that
> _require_ a custom gnu-make to build.

yes.