2017-12-08 3:17 GMT+01:00 Chris Marusich <cmmarusich@gmail.com>:

> Hi,
>
> Is it necessary to run "make" before "make check", or is it good enough
> to just run "make check" and rely on Make to build whatever needs to be
> built to run "make check"?
>
> --
> Chris
>

in my experience, make builds whatever is needed in order to run make check