Danny Milosavljevic writes: > On Sun, 17 Dec 2017 14:26:30 +0100 > Danny Milosavljevic wrote: > >> Hi, >> >> On Thu, 07 Dec 2017 18:17:49 -0800 >> Chris Marusich 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) > > And also > > check-am: all-am > all-am: ... > > And also a Rube-Goldberg-esque contraption for all-recursive, check-recursive which invokes "make" inside SUBDIRS. *shakes head* Thank you for pointing to the relevant lines in the Makefile! > Interesting :) That's one way to put it... :-) -- Chris