X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=abf382a3cbfa335fa58c6a14582fa25b0e51da2c;hb=5162b3f7c10ddbd4fd54e0c2dd13f147af09c314;hp=afffb62fe56cf13bbfb4cc1dd2f2b97202a53e8b;hpb=4b84a76813e48c0bec66040a67b15dfba6da0cce;p=palacios.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index afffb62..abf382a 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -4,5 +4,4 @@ obj-$(V3_CONFIG_EXT_VTSC) += ext_vtsc.o
 obj-$(V3_CONFIG_EXT_VTIME) += ext_vtime.o
 obj-$(V3_CONFIG_EXT_INSPECTOR) += ext_inspector.o
 obj-$(V3_CONFIG_EXT_MACH_CHECK) += ext_mcheck.o
-obj-$(V3_CONFIG_EXT_SW_INTERRUPTS) += ext_sw_intr.o