From: Patrick G. Bridges <bridges@cs.unm.edu>
Date: Wed, 20 Feb 2013 17:55:16 +0000 (-0700)
Subject: Added missed Makefile update for option handling
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=96af43c0289fc451b226dde6d0db652b163674f8;p=palacios.git

Added missed Makefile update for option handling
---

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 87e7951..c51a37e 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -21,6 +21,7 @@ obj-y := \
 	vmm_mem.o \
 	vmm_msr.o \
 	vmm_paging.o \
+	vmm_options.o \
 	vmm_queue.o \
 	vmm_rbtree.o \
 	vmm_ringbuffer.o \