From: Kevin Pedretti <ktpedre@sandia.gov>
Date: Tue, 21 Oct 2008 20:52:29 +0000 (-0500)
Subject: Fix makefile
X-Git-Tag: 1.0^2~30^2~9
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=948685aac4ca2709c231d77c219e48136ce42644

Fix makefile
---

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)