From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 17 May 2011 15:43:27 +0000 (-0500)
Subject: build fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=e595e6c854a5414edc0cd8c8b38545e78c19e549

build fix
---

diff --git a/linux_module/palacios-vm.c b/linux_module/palacios-vm.c
index 6f65df6..dd422c3 100644
--- a/linux_module/palacios-vm.c
+++ b/linux_module/palacios-vm.c
@@ -215,7 +215,7 @@ int start_palacios_vm(void * arg)  {
     printk("palacios: launching vm\n");
 
 
-#if V3_CONFIG_EXT_INSPECTOR
+#ifdef V3_CONFIG_EXT_INSPECTOR
     inspect_vm(guest);
 #endif