Hi, On Thu, 07 Dec 2017 18:17:49 -0800 Chris Marusich <[email protected]> wrote:
> Is it necessary to run "make" before "make check", No. >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"? Yes. See the Makefile: all: $(BUILT_SOURCES) check: $(BUILT_SOURCES)
