From mboxrd@z Thu Jan  1 00:00:00 1970
From: Catonano <catonano@gmail.com>
Subject: Re: Is it necessary to run "make" before "make check"?
Date: Sun, 10 Dec 2017 17:29:28 +0100
Message-ID: <CAJ98PDy5Ccqy9NoxKSyMW93SVPDP+srQZNY6FtkTjx5dmZH8LA@mail.gmail.com>
References: <878teet12q.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="089e08269694025eb3055ffeeca6"
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:46774)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <catonano@gmail.com>) id 1eO4Tr-0007ep-4M
	for guix-devel@gnu.org; Sun, 10 Dec 2017 11:29:31 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <catonano@gmail.com>) id 1eO4Tq-0007kI-B1
	for guix-devel@gnu.org; Sun, 10 Dec 2017 11:29:31 -0500
Received: from mail-qt0-x236.google.com ([2607:f8b0:400d:c0d::236]:38186)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <catonano@gmail.com>) id 1eO4Tq-0007k7-5t
	for guix-devel@gnu.org; Sun, 10 Dec 2017 11:29:30 -0500
Received: by mail-qt0-x236.google.com with SMTP id d4so32343449qtj.5
	for <guix-devel@gnu.org>; Sun, 10 Dec 2017 08:29:30 -0800 (PST)
In-Reply-To: <878teet12q.fsf@gmail.com>
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Chris Marusich <cmmarusich@gmail.com>
Cc: guix-devel <guix-devel@gnu.org>

--089e08269694025eb3055ffeeca6
Content-Type: text/plain; charset="UTF-8"

2017-12-08 3:17 GMT+01:00 Chris Marusich <cmmarusich@gmail.com>:

> 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

--089e08269694025eb3055ffeeca6
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">2017-12-08 3:17 GMT+01:00 Chris Marusich <span dir=3D"ltr">&lt;<a href=
=3D"mailto:cmmarusich@gmail.com" target=3D"_blank">cmmarusich@gmail.com</a>=
&gt;</span>:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8e=
x;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Is it necessary to run &quot;make&quot; before &quot;make check&quot;, or i=
s it good enough<br>
to just run &quot;make check&quot; and rely on Make to build whatever needs=
 to be<br>
built to run &quot;make check&quot;?<br>
<span class=3D"HOEnZb"><font color=3D"#888888"><br>
--<br>
Chris<br>
</font></span></blockquote></div><br></div><div class=3D"gmail_extra">in my=
 experience, make builds whatever is needed in order to run make check<br><=
/div></div>

--089e08269694025eb3055ffeeca6--