diff options
| -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/' $< > $@ |