X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2FMakefile;h=d028d2e5dd721855af851a9f16c2a51d138da185;hb=619116061f398a148dc3be1efdb26a779b91f486;hp=137674c1e8d58a17fe3844d434a2667ad50a0478;hpb=747f685ed77e4df26eb9b7b6b32412448852ffec;p=palacios-OLD.git

diff --git a/linux_module/Makefile b/linux_module/Makefile
index 137674c..d028d2e 100644
--- a/linux_module/Makefile
+++ b/linux_module/Makefile
@@ -27,6 +27,7 @@ v3vee-$(V3_CONFIG_SOCKET) += iface-socket.o
 v3vee-$(V3_CONFIG_KEYED_STREAMS) += iface-keyed-stream.o
 v3vee-$(V3_CONFIG_HOST_DEVICE) += iface-host-dev.o
 v3vee-$(V3_CONFIG_GRAPHICS_CONSOLE) += iface-graphics-console.o
+v3vee-$(V3_CONFIG_EXT_MACH_CHECK) += mcheck.o
 
 v3vee-$(V3_CONFIG_VNET) += 	palacios-vnet.o \
 				palacios-vnet-ctrl.o   \