From 6c212efc25b7b96f6f710a33cdd9117fff3fefbf Mon Sep 17 00:00:00 2001 From: John Baldwin Date: Thu, 2 Jun 2011 13:57:10 +0000 Subject: [PATCH] Missed this in the previous commit to add 'show vmcs': add opt_ddb.h as a source file. --- sys/modules/vmm/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/modules/vmm/Makefile b/sys/modules/vmm/Makefile index 0c7ce542e2e..427d77ebc2b 100644 --- a/sys/modules/vmm/Makefile +++ b/sys/modules/vmm/Makefile @@ -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