[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
- Re: PPP Port: Cannot set gateway address, (continued)