[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is it necessary to run "make" before "make check"?
|
From: |
Danny Milosavljevic |
|
Subject: |
Re: Is it necessary to run "make" before "make check"? |
|
Date: |
Sun, 17 Dec 2017 14:26:30 +0100 |
Hi,
On Thu, 07 Dec 2017 18:17:49 -0800
Chris Marusich <address@hidden> 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)