Elad Efrat <elad@NetBSD.org> writes:

> Darrin B. Jewell wrote:
> > Module Name:	src
> > Committed By:	dbj
> > Date:		Mon Sep 18 08:12:28 UTC 2006
> > 
> > Modified Files:
> > 	src/distrib/sets/lists/comp: mi
> > 
> > Log Message:
> > add veriexecgen.debug
> 
> Hm - what's that? is it required because I have the -g flag in the
> Makefile for this program?

No.  It is an optional component created by gcc4 and installed when
you use MKDEBUG=yes for the build, but is not enabled by default.  The
file contains debugging symbols for use with gdb.

Darrin