From: Kevin Pedretti Date: Tue, 21 Oct 2008 20:53:05 +0000 (-0500) Subject: Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev... X-Git-Tag: 1.0^2~30^2~8 X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=538fde94949b2dcf351c9c63bac23ee26c2634f2;hp=91088301b4f0361e40ba43fb922866d888a42e53;p=palacios-OLD.git Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten --- diff --git a/build/Makefile b/build/Makefile index e9f4435..ac356b7 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)