Virtio Net device update

[palacios.git] / Makefile.x86_64

diff --git a/Makefile.x86_64 b/Makefile.x86_64
index 7937c1e..d070ae7 100644 (file)
--- a/Makefile.x86_64
+++ b/Makefile.x86_64
@@ -5,5 +5,5 @@
 # -mpreferred-stack-boundary=2 is essential in preventing gcc 4.2.x
 # from aligning stack to 16 bytes. (Which is gcc's way of supporting SSE).
 CFLAGS += $(call cc-option,-m64,) -D__V3_64BIT__
-AFLAGS += -D__V3_64BIT__
+AFLAGS += $(call cc-option,-m64,) -D__V3_64BIT__
 LDFLAGS += -melf_x86_64