Sorry to step in but this jumped out at me and might save you a bit of time:
On Thu, Jun 27, 2002 at 07:00:13AM -0700, Mark Peek wrote:
> At 7:50 AM +0200 6/27/02, Joerg Wunsch wrote:
> >As Mark Peek wrote:
> >
> >> >Hmm, so how to debug a kernel coredump?
> >>
> >> You need to update your gdb52 port.
> >
> >I can't find a newer one in CVS:
> >
> >j@uriah 85% pkg_info -I gdb-\*
> >gdb-5.2_2 GNU GDB 5.2 developmental snapshot
>
> Very odd...here's what I get on my -current system:
>
> # pkg_info -I gdb-\*
> gdb-5.2_2 GNU GDB 5.2 developmental snapshot
> current# gdb -k
> GNU gdb 4.18
^^^^^^^^^^^^^^
you're probably running /usr/bin/gdb instead of /usr/local/bin/gdb.
HTH,
--Stijn
--
This sentence contradicts itself -- no actually it doesn't.
-- Hofstadter
msg40039/pgp00000.pgp
Description: PGP signature
