diff options
Diffstat (limited to 'boot/Makefile')
| -rw-r--r-- | boot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index 85b098b8..f02f87cd 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -23,7 +23,7 @@ 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 bootstrapServer.o boot_script.o userland-boot.o -MIGSTUBS = machServer.o +MIGSTUBS = machServer.o mach_hostServer.o gnumachServer.o OBJS = boot.o $(COMMON-OBJS) $(MIGSTUBS) UX-OBJS = mach-crt0.o uxboot.o sigvec.o syscall.o ux.o $(COMMON-OBJS) target = boot |