On Tue, Sep 25, 2001 at 02:49:41PM -0700, John Baldwin wrote:
> 
> On 25-Sep-01 Wilko Bulte wrote:
> > I'm not sure if this is new, but anyway on -current as of yesterday
> > evening:
> 
> Ok, can you try building a new kernel from scratch and see if you still have
> the same problem?  If so, can you back out my latest set of changes to
> kern_mutex.c and sys/mutex.h and see if that fixes things?
> 
> It looks like witness is somehow getting out of sync.  One cause could be stale
> .o files that aren't being recompiled.  Perhaps you haven't run make depend in
> a while?

FWIW: the kernel that shows this behaviour was built using make buildkernel
just after a make buildworld. That should ensure a make depend. But
I'll try your suggestions and see what happens next.

-- 
|   / o / /_  _                 email:  [EMAIL PROTECTED]
|/|/ / / /(  (_)  Bulte         Arnhem, The Netherlands 

To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-current" in the body of the message

Reply via email to