diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-05-05 22:48:21 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-05 22:48:21 +0000 |
commit | e47347080673200ef304973120f3683a5ccd4d5a (patch) | |
tree | b147265c46652877838a033085831c31cf694bda /boot/Makefile | |
parent | 621b0d68764e08a337949180282e71e498240a27 (diff) |
Formerly Makefile.~16~
Diffstat (limited to 'boot/Makefile')
-rw-r--r-- | boot/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/boot/Makefile b/boot/Makefile index f4e8a559..afc5298f 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -39,7 +39,7 @@ clean: relink: rm -f boot -boot.o: notify_S.h exec_S.h device_S.h io_S.h +boot.o: notify_S.h exec_S.h device_S.h io_S.h device_reply.h io_repl.h notify_S.h notifyServer.c: $(includedir)/mach/notify.defs $(CPP) $(CPPFLAGS) $< | \ @@ -59,7 +59,7 @@ device_S.h deviceServer.c: device.defs $(MIGCOM) -user /dev/null -header /dev/null \ -sheader device_S.h -device_replyUser.c: $(includedir)/device/device_reply.defs +device_reply.h device_replyUser.c: $(includedir)/device/device_reply.defs $(CPP) $(CPPFLAGS) $< | \ $(MIGCOM) -server /dev/null |