X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=1cfd87deea4959ca023264c274b2d477c431d5b4;hb=04212dbde1afc2b21049dbf5e9d388e047f344f7;hp=7217262ee0f99f28d60d46a27537b9a898bfe547;hpb=08acae0a3bff332150a7873ff3c643625fb84090;p=palacios.git

diff --git a/build/Makefile b/build/Makefile
index 7217262..1cfd87d 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -203,7 +203,7 @@ kitten: palacios-full
 	cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(KITTEN_TOP_DIR)/palacios/
 	cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed32e.a $(KITTEN_TOP_DIR)/palacios/
 	cp $(PALACIOS_BUILD_DIR)/vm_kernel $(KITTEN_TOP_DIR)/palacios/
-	(cd $(KITTEN_TOP_DIR) && make)
+	(cd $(KITTEN_TOP_DIR) && make oldconfig && make)
 
 
 geekos: