[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 :
> ludo@gnu.org (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