From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: Re: Is it necessary to run "make" before "make check"? Date: Sun, 17 Dec 2017 14:26:30 +0100 Message-ID: <20171217142630.19ffa647@scratchpost.org> References: <878teet12q.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42645) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eQZ7X-0008B3-3A for guix-devel@gnu.org; Sun, 17 Dec 2017 08:36:47 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eQZ7S-00033c-8B for guix-devel@gnu.org; Sun, 17 Dec 2017 08:36:47 -0500 Received: from dd26836.kasserver.com ([85.13.145.193]:55438) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eQZ7S-00032p-0t for guix-devel@gnu.org; Sun, 17 Dec 2017 08:36:42 -0500 In-Reply-To: <878teet12q.fsf@gmail.com> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Chris Marusich Cc: guix-devel@gnu.org 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)