From: Peter Dinda Date: Mon, 1 Oct 2012 14:13:04 +0000 (-0500) Subject: Rebuild v3_create by default X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=7586c11802efb4218f142588752a6d04c0ea767d Rebuild v3_create by default --- diff --git a/linux_usr/Makefile b/linux_usr/Makefile index 868d0d7..9870207 100644 --- a/linux_usr/Makefile +++ b/linux_usr/Makefile @@ -12,6 +12,7 @@ STATIC = 0 # BASE_EXECS = v3_mem \ v3_mem_free \ + v3_create \ v3_create_bind \ v3_free \ v3_launch \