X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=b03a7eba90ea6c33a7786fe79ef941fc7c999c3f;hb=d662cc4cc19794e57b3a0126fd05d09456e22cdc;hp=c081e91e845bcf1b5a31e5849fb9ac3831e51073;hpb=6911d27947e37b0f7e066f0aef3e9cc5d5bf0722;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index c081e91..b03a7eb 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -53,6 +53,7 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 
 
 obj-$(CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_shdw_pg_swapbypass.o
 
 
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o