X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=4b641adc0fa0a489631e3fdb7b5e3d934dcc0b2a;hb=9dc62167c8f74a37391028c558f46db50a7998d1;hp=e9f44357492bc9f673eeedd995ddcd33de0364d5;hpb=b59b6f0b0d56b9ef9360d63be89d2510f26423f2;p=palacios.releases.git

diff --git a/build/Makefile b/build/Makefile
index e9f4435..4b641ad 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -196,7 +196,7 @@ palacios-full:
 	(cd $(PALACIOS_BUILD_DIR) && make $(DEBUG_SECTIONS) world)
 
 palacios-full64:
-	(cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS) world)`	
+	(cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS) world)	
 
 palacios-lean:
 	(cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world)
@@ -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: