grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Add a new "none" platform that only builds utilities


From: Colin Watson
Subject: Re: [PATCH] Add a new "none" platform that only builds utilities
Date: Thu, 25 Sep 2014 21:00:01 +0100
User-agent: Mutt/1.5.21 (2010-09-15)

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                                       address@hidden



reply via email to

[Prev in Thread] Current Thread [Next in Thread]