X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=8fa36efea45b9785d1a00849206e49c886542ad7;hb=73ce005b59a3c032c7a4f64bce17f6eb1bf8ea20;hp=e5c06120ad5d123429b4d3758a3e753a3b797515;hpb=f032dd8f6f03c414f9d1f208845464ff76050b6c;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index e5c0612..8fa36ef 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -456,7 +456,7 @@ devices/%.o : devices/%.asm
 	$(NASM) $(NASM_VMM_OPTS) $< -o devices/$*.o
 
 net/%.o : net/%.c
-	$(TARGET_CC) -c $(CC_GENERAL_OPTS) $(CC_VMM_OPTS)  $(CC_USER_OPTS) $< -o net/$*.o
+	$(TARGET_CC) -c $(CC_GENERAL_OPTS)  $(CC_USER_OPTS) $< -o net/$*.o
 
 # ----------------------------------------------------------------------
 # Targets -