X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=linux_module%2FMakefile;h=0c20052ddfb0e78e803439408e666d1d071972fa;hp=d028d2e5dd721855af851a9f16c2a51d138da185;hb=639d38dc437f87b9eab6648074f7b3eb8800e5d7;hpb=6ee36e0a7e4585bd0e4235eeb60644fffe230af3

diff --git a/linux_module/Makefile b/linux_module/Makefile
index d028d2e..0c20052 100644
--- a/linux_module/Makefile
+++ b/linux_module/Makefile
@@ -6,6 +6,10 @@ ifdef V3_CONFIG_SYMMOD
 LDFLAGS += --script=$(PWD)/ld.symmod.cmd
 endif
 
+ifdef V3_CONFIG_CHECKPOINT
+LDFLAGS += --script=$(PWD)/ld.chkpt.cmd
+endif
+
 EXTRA_CFLAGS  += -I$(PWD)/../palacios/include/ -include autoconf.h -DMODULE=1 -D__KERNEL__=1