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 [cjwat...@ubuntu.com] _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
