bug-hurd
[Top][All Lists]
Advanced

[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’.



reply via email to

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