[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!
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.
Ludo’.
- Re: [PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager',
Ludovic Courtès <=