bug-hurd
[Top][All Lists]
Advanced

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

Re: serverboot


From: Jeff Bailey
Subject: Re: serverboot
Date: Thu, 19 Dec 2002 12:25:54 -0800
User-agent: Mutt/1.3.28i

On Thu, Dec 19, 2002 at 09:08:59PM +0100, Alfred M. Szmidt wrote:

> Still, is the unused code somehow filtered out from the source tree
> when a release is made?

With automake yes.  'make dist' only pulls in the files that are
actively referenced in the make files.  That is, incidentally, what I'm
testing now - making sure that I actually am referencing all of the
header files to make sure make dist works.

Tks,
Jeff Bailey



reply via email to

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