diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-11-03 22:26:12 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-11-03 22:26:12 +0000 |
| commit | 768f878f979fd3d21009308559deecba5532eef1 (patch) | |
| tree | 2be2a7753e55087788236b1448c2c693b07804ac | |
| parent | 822ea24e7bcf4b2d68a1b163c84e31fcd26383f4 (diff) | |
entered into RCS
| -rw-r--r-- | boot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index 726cba4c..86ffac3a 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -36,7 +36,7 @@ install: /usr/local/bin/boot cp boot /usr/local/bin/boot boot.o: notify_S.h exec_S.h ourdevice_S.h io_S.h device_reply_U.h \ - io_reply_U.h tioctl_S.h term_S.h + io_reply_U.h tioctl_S.h term_S.h bootstrap_S.h ourdevice.defs: $(includedir)/device/device.defs sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ |