bug-hurd
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: serverboot

From: Alfred M. Szmidt
Subject: Re: serverboot
Date: Thu, 19 Dec 2002 21:37:33 +0100 
   > Still, is the unused code somehow filtered out from the source tree
   > when a release is made?

   See hurd/Makefile.

Corking.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]