X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=e173545ffddd453672261f3489b276636f3b9f96;hb=5bce09a95e6cfe1a2c84bfe5825b2b456d6ff4a5;hp=2bddb76a7ad44c0242e01e0143ec2b7e6e3726fe;hpb=30f2ad50ac43558e633fb5f3f40422feacc8338b;p=palacios.git

diff --git a/build/Makefile b/build/Makefile
index 2bddb76..e173545 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -172,6 +172,8 @@ ifeq ($(INSTRUMENT_VMM),1)
   GEEKOS_FLAGS:= $(GEEKOS_FLAGS) INSTRUMENT_VMM=1
 endif
 
+
+
 # ----------------------------------------------------------------------
 # Targets -
 #   Specifies files to be built
@@ -194,6 +196,9 @@ palacios-full32:
 palacios-full64:
 	(cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS) world)	
 
+palacios-full-cray:
+	(cd $(PALACIOS_BUILD_DIR) && make V=1 ARCH=64 CRAY_XT=1 $(DEBUG_SECTIONS) world)	
+
 palacios-lean:
 	(cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world)