From: Jack Lange <jacklange@cs.pitt.edu>
Date: Mon, 2 May 2011 20:55:48 +0000 (-0500)
Subject: removed instrumentation
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=52862a01560b5b12db9f8f7b6e16013a81a86939;p=palacios.git

removed instrumentation
---

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 8d6b4d1..2be53ea 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -66,7 +66,6 @@ obj-$(V3_CONFIG_VMX) +=  	vmx.o \
 
 
 
-obj-$(V3_CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
 obj-$(V3_CONFIG_TELEMETRY) += vmm_telemetry.o 
 
 obj-$(V3_CONFIG_VNET) += vmm_vnet_core.o