On 01-Nov-2002 Giorgos Keramidas wrote: > On 2002-10-31 18:39, Conrad Sabatier <[EMAIL PROTECTED]> wrote: >> [...] >> And finally, is there a simple way to ensure that none of the debugging >> code (including INVARIANTS stuff) is included during a buildworld? > > INVARIANTS and WITNESS are kernel-only stuff. They shouldn't affect > your userland programs. If they do, it's probably a bug.
I just happened to notice this: $ grep -r 'CFLAGS.*INVARIANTS' /usr/src /usr/src/gnu/usr.bin/cc/Makefile.inc:#CFLAGS+= -DWANT_COMPILER_INVARIANTS /usr/src/lib/libc_r/Makefile:CFLAGS+=-D_PTHREADS_INVARIANTS /usr/src/lib/libpthread/Makefile:CFLAGS+=-D_PTHREADS_INVARIANTS Granted, the first one is commented out (and I've already built world after commenting the other two with no ill effects). -- Conrad Sabatier <[EMAIL PROTECTED]> He played the king as if afraid someone else would play the ace. -- John Mason Brown, drama critic To Unsubscribe: send mail to [EMAIL PROTECTED] with "unsubscribe freebsd-current" in the body of the message