X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=a5e3e15a4a09a9dfd2591bcce7b481845a076169;hb=9a9c14099c09e9ed86d8ac2f73f7406d0ac8a90b;hp=afffb62fe56cf13bbfb4cc1dd2f2b97202a53e8b;hpb=4b84a76813e48c0bec66040a67b15dfba6da0cce;p=palacios.git diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile index afffb62..a5e3e15 100644 --- a/palacios/src/extensions/Makefile +++ b/palacios/src/extensions/Makefile @@ -5,4 +5,5 @@ 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 +obj-$(V3_CONFIG_EXT_SYSCALL_HIJACK) += ext_syscall_hijack.o