summaryrefslogtreecommitdiff
path: root/boot/Makefile
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-05-05 22:48:21 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-05-05 22:48:21 +0000
commite47347080673200ef304973120f3683a5ccd4d5a (patch)
treeb147265c46652877838a033085831c31cf694bda /boot/Makefile
parent621b0d68764e08a337949180282e71e498240a27 (diff)
Formerly Makefile.~16~
Diffstat (limited to 'boot/Makefile')
-rw-r--r--boot/Makefile4
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