From: Kyle Hale <kh@u.northwestern.edu>
Date: Fri, 13 Apr 2012 23:47:22 +0000 (-0500)
Subject: Correct build if gears is disabled
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=dc97a4452ccddf3dbf86a30fec1b2439c6959961;p=palacios.git

Correct build if gears is disabled
---

diff --git a/palacios/src/gears/Makefile b/palacios/src/gears/Makefile
index dfbc5fd..001b043 100644
--- a/palacios/src/gears/Makefile
+++ b/palacios/src/gears/Makefile
@@ -5,3 +5,6 @@ obj-$(V3_CONFIG_EXT_EXECVE_HOOK) += ext_process_environment.o
 obj-$(V3_CONFIG_EXT_CODE_INJECT) += ext_code_inject.o
 obj-$(V3_CONFIG_EXT_ENV_INJECT) += ext_env_inject.o
 
+obj-y += null.o
+
+
diff --git a/palacios/src/gears/null.c b/palacios/src/gears/null.c
new file mode 100644
index 0000000..1828c44
--- /dev/null
+++ b/palacios/src/gears/null.c
@@ -0,0 +1,6 @@
+/** \file
+ * Do nothing module.
+ *
+ * This file only exists to appease the kbuild gods.
+ */
+