X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=6acfc6aef161fd73c6718e48c0e34798592f5a74;hb=94eb64dbd7ce27642db449e49cb86d04b11c427d;hp=44b656812aa7739bede83db5850b8510163d9a54;hpb=2e8b584de26a975655d20d5e94a047a4b286b339;p=palacios-OLD.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 44b6568..6acfc6a 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -294,6 +294,7 @@ VMM_OBJS := \
 	palacios/vmm_hashtable.o \
 	palacios/vmm_string.o \
 	palacios/vmm_emulator.o \
+	palacios/vmm_sprintf.o \
 	palacios/vmm_queue.o \
 	palacios/vmm_host_events.o \
 	palacios/svm_lowlevel.o \