CVS commit: src

["Alistair G. Crooks" <agc%netbsd.org@localhost>]

Module Name:    src
Committed By:   agc
Date:           Wed Dec 20 22:03:20 UTC 2006

Modified Files:
        src/sys/sys: verified_exec.h
        src/tools/veriexecgen: Makefile
Added Files:
        src/tools/compat/sys: verified_exec.h

Log Message:
Fixes to allow veriexecgen to be built as a host tool.


To generate a diff of this commit:
cvs rdiff -r1.45 -r1.46 src/sys/sys/verified_exec.h
cvs rdiff -r0 -r1.1 src/tools/compat/sys/verified_exec.h
cvs rdiff -r1.1 -r1.2 src/tools/veriexecgen/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.