From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1XXFDD-0005xo-ST for mharc-grub-devel@gnu.org; Thu, 25 Sep 2014 16:00:23 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59230) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XXFD8-0005wS-Dh for grub-devel@gnu.org; Thu, 25 Sep 2014 16:00:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XXFD5-0008DM-A6 for grub-devel@gnu.org; Thu, 25 Sep 2014 16:00:18 -0400 Received: from b.painless.aa.net.uk ([2001:8b0:0:30::51bb:1e34]:33184 helo=b.b.painless.aa.net.uk) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XXFD5-00083i-3u for grub-devel@gnu.org; Thu, 25 Sep 2014 16:00:15 -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 b.painless.aa.net.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.72) (envelope-from ) id 1XXFCu-0007mx-87 for grub-devel@gnu.org; Thu, 25 Sep 2014 21:00:07 +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 1XXFCt-0006p2-1a for grub-devel@gnu.org; Thu, 25 Sep 2014 21:00:03 +0100 Date: Thu, 25 Sep 2014 21:00:01 +0100 From: Colin Watson To: grub-devel@gnu.org Subject: Re: [PATCH] Add a new "none" platform that only builds utilities Message-ID: <20140925200001.GA26220@riva.ucam.org> References: <20140908012205.GE5681@riva.ucam.org> <541EF5AC.7090905@gmail.com> <20140923110731.GA375@riva.ucam.org> <20140925223917.13874294@opensuse.site> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20140925223917.13874294@opensuse.site> 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:1e34 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: Thu, 25 Sep 2014 20:00:22 -0000 On Thu, Sep 25, 2014 at 10:39:17PM +0400, Andrei Borzenkov wrote: > Could we avoid removing include/grub? I really expect to be able to do > > configure > make distclean > configure > > which is hopelessly broken now after platform=none. Whoops, sorry! I always build out of tree (because it makes it much easier to test multiple platforms) and so didn't notice this. I've pushed a fix. -- Colin Watson [cjwatson@ubuntu.com]