diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-08-22 17:48:26 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-08-22 17:48:26 +0000 |
| commit | 5fcb03b582a1a4a58758e9f0a96bb46614a19860 (patch) | |
| tree | ca2bd3455e9d96629191e0545dcaf3840e5c5419 | |
| parent | 37174fe8125e31ae3076e4df9ea63e2b743ace6d (diff) | |
Formerly Makefile.~32~
| -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 |