From: Trammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Date: Wed, 22 Oct 2008 14:16:28 +0000 (-0500)
Subject: Do not make oldconfig when building kitten
X-Git-Tag: 1.0^2~19
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=50eae0d57a38dcfffc396e2dc08694cc26454b8e

Do not make oldconfig when building kitten
---

diff --git a/build/Makefile b/build/Makefile
index ac356b7..4b641ad 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -205,7 +205,7 @@ kitten: palacios-full64
 	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 oldconfig && make)
+	(cd $(KITTEN_TOP_DIR) && make)
 
 
 geekos: