bug-hurd
[Top][All Lists]
Advanced

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

Re: PPP Port: Cannot set gateway address


From: Marcus Brinkmann
Subject: Re: PPP Port: Cannot set gateway address
Date: Tue, 6 Mar 2001 20:43:34 +0100
User-agent: Mutt/1.3.15i

On Tue, Mar 06, 2001 at 01:27:13PM -0600, Daniel E Baumann wrote:
> Can I
> justs rebuild the deb with debuggin symbols for now? How do I do that? (Yes I
> should learn how to make a deb ;) ).

Get the Debian source files (should be in ftp://ftp.debian.org/pool/h/hurd
or so). Just get the tar.gz file, extract and build with configure; make;
make install as normal. You might want to use --disable-profile with
configure, it doesn't work anyway to profile things. Also add "--prefix="
although I think it is the default.

Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org brinkmd@debian.org
Marcus Brinkmann              GNU    http://www.gnu.org    marcus@gnu.org
Marcus.Brinkmann@ruhr-uni-bochum.de
http://www.marcus-brinkmann.de



reply via email to

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