diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-07-06 19:43:11 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-06 19:43:11 +0000 |
commit | 395f6db4c8a51fbce0ed596d9b1d20678f77fad2 (patch) | |
tree | 77f5da665937f0c9baf56087b5a0522fc6f3509c /boot/Makefile | |
parent | 0e6dfab61275d138c5572cd61b151984014555bf (diff) |
Removed dependencies that are now automatically generated.
Diffstat (limited to 'boot/Makefile')
-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/' $< > $@ |