Module Name:	src
Committed By:	dogcow
Date:		Tue Jul 25 00:23:06 UTC 2006

Modified Files:
	src/sys/kern: exec_script.c init_main.c init_sysctl.c kern_exec.c
	    vfs_syscalls.c vfs_vnops.c

Log Message:
mechanically go through and
 s,include "veriexec.h",include <sys/verified_exec.h>,
as the former has apparently gone away.


To generate a diff of this commit:
cvs rdiff -r1.50 -r1.51 src/sys/kern/exec_script.c
cvs rdiff -r1.274 -r1.275 src/sys/kern/init_main.c
cvs rdiff -r1.79 -r1.80 src/sys/kern/init_sysctl.c
cvs rdiff -r1.224 -r1.225 src/sys/kern/kern_exec.c
cvs rdiff -r1.259 -r1.260 src/sys/kern/vfs_syscalls.c
cvs rdiff -r1.120 -r1.121 src/sys/kern/vfs_vnops.c

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