From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH] gnu: linux-libre-headers: Use modify-phases. Date: Mon, 05 Sep 2016 10:23:04 +0200 Message-ID: <874m5urc0n.fsf@gnu.org> References: <20160902160928.9458-1-david@craven.ch> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46592) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bgpBQ-00044h-5B for guix-devel@gnu.org; Mon, 05 Sep 2016 04:23:12 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bgpBM-0001oM-0a for guix-devel@gnu.org; Mon, 05 Sep 2016 04:23:11 -0400 In-Reply-To: <20160902160928.9458-1-david@craven.ch> (David Craven's message of "Fri, 2 Sep 2016 18:09:23 +0200") 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: David Craven Cc: guix-devel@gnu.org David Craven skribis: > * gnu/packages/linux.scm (linux-libre-headers): Use modify phases. LGTM! This must go to =E2=80=98core-updates=E2=80=99 though, because it tr= iggers a full rebuild. Thanks, Ludo=E2=80=99.