diff options
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/boot/Makefile b/boot/Makefile index 31d62c3a..a425ebc4 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -36,9 +36,6 @@ LDFLAGS += -Wl,-T -Wl,frank1.ld #/usr/local/bin/boot: 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 bootstrap_S.h - ourdevice.defs: $(includedir)/device/device.defs sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ |