X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=861ca0b29aa917d2f19b0fc55ca3a4219e7f1f89;hp=0b1330334d5598bb3dc25c388e4ee9a84f4fb55c;hb=eb87f60800c8634e37d1f8e71cd8f88605f2a46e;hpb=356f5cc77a2783f2917b994be4cf954891828380

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 0b13303..861ca0b 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -1,6 +1,6 @@
 # Makefile for GeekOS kernel, userspace, and tools
 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.31 $
+# $Revision: 1.32 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -122,7 +122,7 @@ VMM_ASM_OBJS := $(VMM_ASM_SRCS:%.asm=palacios/%.o)
 
 
 VMM_C_SRCS :=   vm_guest.c \
-	 	svm.c svm_handler.c vmm.c vmm_util.c svm_ctrl_regs.c \
+	 	svm.c svm_handler.c vmm.c vmm_util.c vmm_ctrl_regs.c \
 		vmcb.c vmm_mem.c vmm_paging.c vmm_io.c vmm_debug.c svm_io.c \
 		vmm_intr.c vmm_irq.c\
 		vmm_shadow_paging.c vm_guest_mem.c  \