X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2FMakefile;h=f459a1e7e8749c7e82471cf35748a9e7fb6cbf79;hb=07aa8f3c18a33af0961e7546980a63ab5f6fba4f;hp=1a0be11a1b5bdfec6d96cd84ae3ecc349a3e9364;hpb=035ac752dc4e0eda744205896a9c7c92689bea42;p=palacios.git diff --git a/linux_usr/Makefile b/linux_usr/Makefile index 1a0be11..f459a1e 100644 --- a/linux_usr/Makefile +++ b/linux_usr/Makefile @@ -11,7 +11,9 @@ STATIC = 1 # Executables that implement core functionality # BASE_EXECS = v3_mem \ + v3_mem_free \ v3_create \ + v3_create_bind \ v3_free \ v3_launch \ v3_stop \