[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
How about dropping serverboot completely? [Was: Remove `serverboot'; fix
From: |
Samuel Thibault |
Subject: |
How about dropping serverboot completely? [Was: Remove `serverboot'; fix "make dist" in `mach-defpager'] |
Date: |
Sun, 1 Aug 2010 19:04:45 +0200 |
User-agent: |
Mutt/1.5.12-2006-07-14 |
Hello,
To fix make dist, instead of fixing serverboot, Ludovic proposes to just
at last drop it.
Thoughts?
Samuel
Ludovic Courtès, le Sat 17 Jul 2010 20:21:55 +0200, a écrit :
> 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’.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- How about dropping serverboot completely? [Was: Remove `serverboot'; fix "make dist" in `mach-defpager'],
Samuel Thibault <=