diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-10-28 20:04:00 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-10-28 20:04:00 +0000 |
| commit | 4f5f4e08a08839044710d77183705f6b2fcaf158 (patch) | |
| tree | 168200631a885eb857bde807100b8c407f9aea23 /boot/Makefile | |
| parent | fec470717911039e736d88b197f310e39ee4b0be (diff) | |
Formerly Makefile.~33~
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 0bcf82fb..726cba4c 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -21,7 +21,7 @@ makemode := utility 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 + termServer.o tcattr.o bootstrapServer.o HURDLIBS = libthreads target = boot io-MIGSFLAGS=-DREPLY_PORTS |