2017-12-08 3:17 GMT+01:00 Chris Marusich <[email protected]>: > 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
