diff options
-rw-r--r-- | boot/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boot/Makefile b/boot/Makefile index db050dab..0bcf82fb 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -22,6 +22,7 @@ SRCS = boot.c tcattr.c sigvec.S OBJS = boot.o notifyServer.o execServer.o ourdeviceServer.o ioServer.o \ io_replyUser.o device_replyUser.o sigvec.o \ termServer.o tcattr.o +HURDLIBS = libthreads target = boot io-MIGSFLAGS=-DREPLY_PORTS |