From: Jack Lange <jacklange@cs.pitt.edu>
Date: Fri, 18 Mar 2011 18:22:53 +0000 (-0400)
Subject: more linux build tweeks
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=bcba92d4282bcefdae71953e451cdab3b1896a46;p=palacios.git

more linux build tweeks
---

diff --git a/Kconfig b/Kconfig
index 8b94c4d..7c72ace 100644
--- a/Kconfig
+++ b/Kconfig
@@ -30,6 +30,7 @@ config LINUX_BUILTIN
 config LINUX
 	bool "Linux Module"
 	select BUILT_IN_STDLIB
+	select BUILT_IN_STRDUP
 	select BUILT_IN_ATOI
 	select FILE
 	select V3_DECODER
diff --git a/Makefile b/Makefile
index c2915a5..5c7942a 100644
--- a/Makefile
+++ b/Makefile
@@ -615,7 +615,7 @@ palacios: libv3vee.a
 
 
 
-linux_module/v3vee.ko: linux_module/*.c
+linux_module/v3vee.ko: linux_module/*.c libv3vee.a
 	cd linux_module/ && make CONFIG_LINUX_KERN=$(CONFIG_LINUX_KERN)
 	cp linux_module/v3vee.ko v3vee.ko