[PATCH 4/4] Fix 'make dist' in mach-defpager

[Diego Martin Nieto Cid]

From: Diego Nieto Cid <dnie...@gmail.com>

* mach-defpager/Makefile (SRCS): Remove external sources
default_pager.c, kalloc.c and wiring.c.
(OBJS): Add objects for external sources. Corresponding
source files will be found in vpath.
---
 mach-defpager/Makefile |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/mach-defpager/Makefile b/mach-defpager/Makefile
index 5ed8f11..e42e3bd 100644
--- a/mach-defpager/Makefile
+++ b/mach-defpager/Makefile
@@ -22,12 +22,15 @@ dir := mach-defpager
 makemode:= server
 target := mach-defpager
 
-SRCS   := default_pager.c kalloc.c wiring.c main.c setup.c
+SRCS   := main.c setup.c
 OBJS   := $(SRCS:.c=.o) \
           $(addsuffix Server.o,\
                       memory_object default_pager memory_object_default exc) \
           default_pager_replyUser.o
 
+# XXX: sources provided by serverboot
+OBJS   += default_pager.o kalloc.o wiring.o 
+
 HURDLIBS:= threads
 LDFLAGS += -static
 
-- 
1.7.0.2