Re: where do I find the kernel headers? solved

To: debian-user@lists.debian.org
Subject: Re: where do I find the kernel headers? *solved*
From: sean finney <seanius@seanius.net>
Date: Mon, 25 Nov 2002 09:38:22 -0500
Message-id: <[🔎] 20021125093822.A30753@sccs.swarthmore.edu>
In-reply-to: <[🔎] 20021125111308.GN5368@thebox.home.local>; from rweir@softhome.net on Mon, Nov 25, 2002 at 10:13:08PM +1100
References: <[🔎] 24E706EC473ED4119FFF0060943F23197E62E4@MAIL> <[🔎] 200211231954.gANJsax02638@rainbow.firman.us> <[🔎] 20021123184711.A17635@sccs.swarthmore.edu> <[🔎] 20021125111308.GN5368@thebox.home.local>

On Mon, Nov 25, 2002 at 10:13:08PM +1100, Rob Weir wrote:
> > # cd /usr/src/linux && make-kpkg clean
> > # cp /boot/config-<version> /usr/src/linux
> 
> You'll have to rename config-<version> to .config for the kernel build
> system to see it, AFAIK.

oops, yeah, my bad.  shoudla been 

# cp /boot/config-<version> /usr/src/linux/.config

	sean

Attachment: pgppe9EHPxhkQ.pgp
Description: PGP signature

Reply to:

References:
- RE: where do I find the kernel headers? *solved*
  - From: Michael Kahle <michael.kahle@scc-wi.com>
- Re: where do I find the kernel headers? *solved*
  - From: Andy <list@firman.us>
- Re: where do I find the kernel headers? *solved*
  - From: sean finney <seanius@seanius.net>
- Re: where do I find the kernel headers? *solved*
  - From: Rob Weir <rweir@softhome.net>

Prev by Date: Re: apt-get upgrade : many not found files
Next by Date: hosts.deny specific domains
Previous by thread: Re: where do I find the kernel headers? *solved*
Next by thread: boot loader problem
Index(es):
- Date
- Thread

Re: where do I find the kernel headers? *solved*

Re: where do I find the kernel headers? solved