make veriexec.h be generated again; thanks cube@

This commit is contained in:
elad 2006-07-25 18:04:03 +00:00
parent 6c1fde7b63
commit 9778bb7296
1 changed files with 2 additions and 2 deletions

View File

@ -1,4 +1,4 @@
# $NetBSD: files,v 1.791 2006/07/24 16:37:28 elad Exp $ # $NetBSD: files,v 1.792 2006/07/25 18:04:03 elad Exp $
# @(#)files.newconf 7.5 (Berkeley) 5/10/93 # @(#)files.newconf 7.5 (Berkeley) 5/10/93
@ -1136,7 +1136,7 @@ file dev/kttcp.c kttcp needs-flag
# Veriexec # Veriexec
defpseudo veriexec defpseudo veriexec
file kern/kern_verifiedexec.c veriexec file kern/kern_verifiedexec.c veriexec
file dev/verified_exec.c veriexec file dev/verified_exec.c veriexec needs-flag
# isochronous pseudo device for IEEE 1394, i.LINK or FireWire # isochronous pseudo device for IEEE 1394, i.LINK or FireWire
defpseudo fwiso: ieee1394 defpseudo fwiso: ieee1394