bug-hurd
[Top][All Lists]
Advanced

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

Re: [PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager'


From: Samuel Thibault
Subject: Re: [PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager'
Date: Thu, 24 Mar 2011 10:30:15 +0100
User-agent: Mutt/1.5.12-2006-07-14

Ludovic Courtès, le Wed 23 Mar 2011 19:24:18 +0100, a écrit :
> address@hidden (Ludovic Courtès) writes:
> > This is the potentially controversial patch.  :-)
> >
> > It removes serverboot, which is no longer built since commit
> > dfa4d617a012dd46d3849e0d2538a4b7890c1306 (Sept. 2004), and moves the
> > files that are actually used by ‘mach-defpager’ in ‘mach-defpager/’.
> >
> > As a side effect, it fixes “make dist” in ‘mach-defpager’.
> 
> Just friendly reminder that this patch is pending review.

Yep, it's still in my ever-increasing TODO list.

Samuel



reply via email to

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