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