X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=9f0f862b5400b971fdc5eddad706536443b8cddf;hp=7a147f4e925f238191804a5132f895171fcca770;hb=eb7dda8d4a92a2e8d0c8f867c65317d756ca6c11;hpb=a1e11b02345601df1b136787ccbdb213c77bea32

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 7a147f4..9f0f862 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.69 $
+# $Revision: 1.70 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -141,7 +141,7 @@ endif
 endif
 
 
-DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DTEST_NE2K
+#DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DTEST_NE2K
 
 ifeq ($(DEBUG),1)
   JRLDEBUG= -DSERIAL_PRINT_DEBUG=1 -DSERIAL_PRINT_DEBUG_LEVEL=10 -DSERIAL_PRINT=1 -DVMM_DEBUG=1 -DVMM_INFO=1 -DVMM_TRACE=1 $(DEBUG_SECTIONS)
@@ -230,8 +230,9 @@ KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \
 	serial.c  reboot.c \
         paging.c \
 	debug.c vmm_stubs.c  vm.c  pci.c\
-	queue.c socket.c ring_buffer.c \
+	queue.c  ring_buffer.c \
 	main.c
+	#socket.c
 
 # Kernel object files built from C source files
 KERNEL_C_OBJS := $(KERNEL_C_SRCS:%.c=geekos/%.o)