>This changes CLEANFLAGS:
>-CLEANFILES = *.o *~ y.tab.h
>+CLEANFILES=    verifiedexec_parse.h
>Is it OK?

	i confirmed that new one is the correct one, by running "make
	dependeall" and "make clean" couple of times.

>> XXX why -g by default?
>I don't know why, but we should use COPTS+= or CFLAGS+= for it.
>"DBG= -g" disables optimization. (see share/mk/sys.mk)

	ok.

itojun