diff options
Diffstat (limited to 'boot/Makefile')
| -rw-r--r-- | boot/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/boot/Makefile b/boot/Makefile index 38a8c695..ac400441 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -23,12 +23,12 @@ SRCS = mach-crt0.c boot.c ux.c sigvec.S syscall.S \ COMMON-OBJS = notifyServer.o deviceServer.o \ ioServer.o io_replyUser.o device_replyUser.o \ termServer.o boot_script.o userland-boot.o -OBJS = boot.o $(COMMON-OBJS) +MIGSTUBS = machServer.o mach_hostServer.o gnumachServer.o task_notifyServer.o +OBJS = boot.o $(COMMON-OBJS) $(MIGSTUBS) target = boot -io-MIGSFLAGS=-DREPLY_PORTS -HURDLIBS = store shouldbeinlibc +MIGSFLAGS=-imacros $(srcdir)/mig-mutate.h -DHURD_DEFAULT_PAYLOAD_TO_PORT=1 +io-MIGSFLAGS=-DREPLY_PORTS -DHURD_DEFAULT_PAYLOAD_TO_PORT=1 +HURDLIBS = store shouldbeinlibc ihash LDLIBS += -lpthread include ../Makeconf - -MIGSFLAGS = -DHURD_DEFAULT_PAYLOAD_TO_PORT=1 |