Changing default make target (=>buildbot maintainers)

 Hello,

 so at https://ci.libreoffice.org/job/gerrit_master/51044/ is a change that 
makes plain 'make' just build and that's it. Unless somebody speaks up, I'll 
submit it on Monday.

 Buildbot maintainers, if your build uses plain 'make' and you still want to 
keep running the tests, please update to use targets that are invoked now by 
the default target (what it is exactly is non-trivial, because it depends, 
but if I'm reading the Makefile correctly, 'make unitcheck' should generally 
be it).

On Monday 17 of February 2020, Stephan Bergmann wrote:
> On 16/02/2020 15:33, Luboš Luňák wrote:
> > Also, now that we do have Jenkins builds, maybe finally plain 'make'
> > could be sensible and not run tests all the time.
>
> I'm all for that.  I think our default make target behavior and the
> build-nocheck target, both non-standard, are not too helpful overall.
> (Gerrit Jenkins builds that today use the default make target should
> then make sure they still run the tests they run today, by making
> whatever appropriate target instead.)

-- 
 Luboš Luňák
 l.lunak@collabora.com