bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager'


From: Ludovic Courtès
Subject: [PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager'
Date: Sat, 17 Jul 2010 20:21:55 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux)

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

Comments?

Thanks,
Ludo’.

PS: Patch compressed so that it can get through.

Attachment: 0009-Remove-serverboot-fix-make-dist-in-mach-defpager.patch.gz
Description: Binary data

Attachment: pgpJeRr9sMejH.pgp
Description: PGP signature


reply via email to

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