X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FMakefile;h=0ab7f7f3875a0aea7f25f5dc27ca54e38e9e1b5f;hb=382829fe58cb541af371547325c5502e37032ecd;hp=f3a553ead43dc979ed19f7529ba458288736f21f;hpb=9d406e84682878859284200ae00251d27c53c845;p=palacios.git

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index f3a553e..0ab7f7f 100644
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -42,8 +42,6 @@ obj-$(V3_CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o
 obj-$(V3_CONFIG_SYMMOD) += lnx_virtio_symmod.o
 obj-$(V3_CONFIG_CHAR_STREAM) += char_stream.o
 
-obj-$(V3_CONFIG_MCHECK) += mcheck.o
-
 obj-$(V3_CONFIG_VGA) += vga.o
 
 obj-$(V3_CONFIG_PCI_FRONT) += pci_front.o