Missed this in the previous commit to add 'show vmcs': add opt_ddb.h as

a source file.
This commit is contained in:
jhb 2011-06-02 13:57:10 +00:00
parent 63af589b2c
commit bcc4a489b1

View File

@ -7,7 +7,7 @@ CFLAGS+= -B /usr/local/bin
KMOD= vmm
SRCS= device_if.h bus_if.h pci_if.h
SRCS= opt_ddb.h device_if.h bus_if.h pci_if.h
CFLAGS+= -DVMM_KEEP_STATS -DSMP
CFLAGS+= -I${.CURDIR}/../../amd64/vmm