X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Flib%2Fx86_64%2FMakefile;h=8853e979254715cd0e682acd00c73a7b8b6b29aa;hb=f7e83e5d2d00ba107ccda346da4660ab523471bb;hp=2d97a1b0c4b50a156dd98e09ae92cc1a1c93ee49;hpb=95198dcc4738a80a85422cd912170ced9acb81a5;p=palacios.git

diff --git a/palacios/lib/x86_64/Makefile b/palacios/lib/x86_64/Makefile
index 2d97a1b..8853e97 100644
--- a/palacios/lib/x86_64/Makefile
+++ b/palacios/lib/x86_64/Makefile
@@ -1,4 +1,4 @@
 obj-y := null.o
 
-obj-$(CONFIG_XED) := 	libxed32e.a \
-			v3-xed-compat.o
+obj-$(V3_CONFIG_XED) := 	libxed32e.a \
+				v3-xed-compat.o