diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-05-10 22:23:07 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-10 22:23:07 +0000 |
| commit | b0f2cd4200d37f4da9b859852182b4b3a1b53522 (patch) | |
| tree | bd0eaba7dec724b00801716979a33a99f99c77f1 /boot | |
| parent | 4ec17d5e7bf05667375ede5140d1c4054c7e912e (diff) | |
Formerly Makefile.~18~
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/boot/Makefile b/boot/Makefile index cbd8996a..a6b62b73 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -22,7 +22,7 @@ include ../Makeconf VPATH=.:../machine OBJS = boot.o notifyServer.o execServer.o deviceServer.o ioServer.o \ - io_replUser.o device_replyUser.o sigvec.o + io_replUser.o device_replyUser.o sigvec.o tioctlServer.o DIST_FILES = boot.c Makefile io_repl.defs ChangeLog sigvec.S @@ -35,11 +35,12 @@ install: boot cp boot /usr/local/bin/boot clean: - rm -f boot $(OBJS) *_S.h *Server.c + rm -f boot $(OBJS) *_S.h *Server.c *User.c relink: rm -f boot -boot.o: notify_S.h exec_S.h device_S.h io_S.h device_reply.h io_repl.h +boot.o: notify_S.h exec_S.h device_S.h io_S.h device_reply.h io_repl.h \ + tioctl_S.h notify_S.h notifyServer.c: $(includedir)/mach/notify.defs $(CPP) $(CPPFLAGS) $< | \ @@ -70,3 +71,8 @@ io_S.h ioServer.c: $(includedir)/hurd/io.defs io_repl.h io_replUser.c: io_repl.defs $(CPP) $(CPPFLAGS) $< | \ $(MIGCOM) -server /dev/null + +tioctlServer.c tioctl_S.h: ../hurd/tioctl.defs + $(CPP) $(CPPFLAGS) $< | \ + $(MIGCOM) -prefix S_ -user /dev/null -header /dev/null \ + -sheader tioctl_S.h |