X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=build%2FMakefile;h=4c190c81270f0ce4068589224907ecfde55eb4a7;hp=39e5392e03a0296ea6ab8e83726552c43b7257ab;hb=32694d99c15e00731a240e0fccea252e08bf5ada;hpb=11c0d91392ab632542eb364412b62fa7c96697c4

diff --git a/build/Makefile b/build/Makefile
index 39e5392..4c190c8 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -207,10 +207,11 @@ kitten:
 	(cd $(KITTEN_TOP_DIR) && make)
 
 kitten-full: palacios-full64
+	(cd $(KITTEN_TOP_DIR) && make clean)
 	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 clean && make)
+	(cd $(KITTEN_TOP_DIR) && make)
 
 
 geekos: