X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2FMakefile;h=51fcc74ff7442d66f40321574b6c2dbef5f74958;hb=a4fd5bcc79e7cdf9a3bd879294566bff0666ced7;hp=0cf09cef4ab463e3f71933946b510871f00b676d;hpb=c5271d17ca93ad2ca9132a39212369c5f4feb2a9;p=palacios.git diff --git a/linux_usr/Makefile b/linux_usr/Makefile index 0cf09ce..51fcc74 100644 --- a/linux_usr/Makefile +++ b/linux_usr/Makefile @@ -20,6 +20,7 @@ BASE_EXECS = v3_mem \ v3_pause \ v3_continue \ v3_core_move \ + v3_mem_move \ v3_load \ v3_save \ v3_cons \