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

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