From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1XWNwl-0007Nj-N8 for mharc-grub-devel@gnu.org; Tue, 23 Sep 2014 07:07:51 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53297) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XWNwi-0007NB-Mc for grub-devel@gnu.org; Tue, 23 Sep 2014 07:07:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XWNwh-00020o-J6 for grub-devel@gnu.org; Tue, 23 Sep 2014 07:07:48 -0400 Received: from a.painless.aa.net.uk ([2001:8b0:0:30::51bb:1e33]:41201 helo=b.a.painless.aa.net.uk) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XWNwh-0001zv-Ci for grub-devel@gnu.org; Tue, 23 Sep 2014 07:07:47 -0400 Received: from 3.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.4.1.b.e.2.f.f.b.0.b.8.0.1.0.0.2.ip6.arpa ([2001:8b0:bff2:eb14::3] helo=riva.pelham.vpn.ucam.org) by a.painless.aa.net.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1XWNwT-0004zS-Pf for grub-devel@gnu.org; Tue, 23 Sep 2014 12:07:40 +0100 Received: from ns1.pelham.vpn.ucam.org ([172.20.153.2] helo=riva.ucam.org) by riva.pelham.vpn.ucam.org with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1XWNwS-0000YE-Rt for grub-devel@gnu.org; Tue, 23 Sep 2014 12:07:32 +0100 Date: Tue, 23 Sep 2014 12:07:31 +0100 From: Colin Watson To: grub-devel@gnu.org Subject: Re: [PATCH] Add a new "none" platform that only builds utilities Message-ID: <20140923110731.GA375@riva.ucam.org> References: <20140908012205.GE5681@riva.ucam.org> <541EF5AC.7090905@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <541EF5AC.7090905@gmail.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:8b0:0:30::51bb:1e33 X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: The development of GNU GRUB List-Id: The development of GNU GRUB List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 23 Sep 2014 11:07:50 -0000 On Sun, Sep 21, 2014 at 05:58:36PM +0200, Vladimir 'φ-coder/phcoder' Serbinenko wrote: > Go ahead. Pushed to master, thanks. -- Colin Watson [cjwatson@ubuntu.com]