X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=14a1c29879090d83e170c6219138b52a0d14fbdc;hb=460ac979ecba88a7526afb10733b24ff2f27d57b;hp=63a822bea06d970f59863acb35535a46fc3faf2c;hpb=780b4edcfe6d8da3ca01cc7fc9ca25cdddf782af;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 63a822b..14a1c29 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -64,6 +64,7 @@ obj-$(V3_CONFIG_VMX) +=  	vmx.o \
 
 
 
+obj-$(V3_CONFIG_CHECKPOINT) += vmm_checkpoint.o
 
 obj-$(V3_CONFIG_TELEMETRY) += vmm_telemetry.o