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: Ludovic Courtès
Subject: Re: [PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager'
Date: Wed, 23 Mar 2011 19:24:18 +0100
User-agent: Gnus/5.110013 (No Gnus v0.13) Emacs/23.3 (gnu/linux)

Hello!

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.

Ludo’.




reply via email to

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