Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 24 Mar 2000 09:41:28 -0800
From:      Greg Lehey <grog@lemis.com>
To:        Matthew Dillon <dillon@apollo.backplane.com>
Cc:        Brad Knowles <blk@skynet.be>, FreeBSD-CURRENT Mailing List <freebsd-current@FreeBSD.ORG>
Subject:   Re: INVARIANTS doesn't work?
Message-ID:  <20000324094127.C1349@mojave.worldwide.lemis.com>
In-Reply-To: <200003231745.JAA02103@apollo.backplane.com>; from dillon@apollo.backplane.com on Thu, Mar 23, 2000 at 09:45:31AM -0800
References:  <v04220808b5000473e2bd@[195.238.1.121]> <200003231745.JAA02103@apollo.backplane.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Thursday, 23 March 2000 at  9:45:31 -0800, Matthew Dillon wrote:
>> (Brad Knowles <blk@skynet.be>)
>> Folks,
>> 
>> 	It looks to me like setting INVARIANTS in your kernel doesn't
>> work in 4.0-STABLE.
>> 
>> ...
>> reference to `zerror'
>> /usr/src/sys/compile/AUDREY/../../vm/vm_zone.h:91: undefined reference to `zerror'
>> vm_zone.o: In function `zfreei':
>> /usr/src/sys/compile/AUDREY/../../vm/vm_zone.h:106: undefined reference to `zerror'
>> vm_zone.o: In function `_zget':
>> /usr/src/sys/compile/AUDREY/../../vm/vm_zone.c:373: undefined reference to `zerror'
>> *** Error code 1
>> 
>> 	The kernel config is a bit large, so I will transmit it on
>> request to interested parties, but I won't post it to the list unless
>> specifically asked to do so.  The one thing I'll note is that this
>> might be an interaction between INVARIANTS and "makeoptions
>> DEBUG=-g".  I'll try turning off DEBUG and see if I can make a kernel
>> that way....
>
>     I just did a full buildworld/installworld and complete recompile
>     of RELENG_4 last night with INVARIANTS turned on, and I use makeoptions
>     DEBUG=-g.  It worked fine.
>
>     Make sure you also specify the INVARIANT_SUPPORT options (note: this
>     one is not plural).

Is there any good reason why we have two different options if they can
only be used together?

Greg
--
Finger grog@lemis.com for PGP public key
See complete headers for address and phone numbers


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-current" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20000324094127.C1349>