X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vm.c;h=dd422c318df999e0b5d39b9b43ff044ed4a85e4e;hb=e595e6c854a5414edc0cd8c8b38545e78c19e549;hp=6f65df6eed88f8c9ca0265ee4dae1ed1e572c8a4;hpb=5426bbb55185628f3eba501d093cf59b220b0ff6;p=palacios.git

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