diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-07-07 00:57:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-07 00:57:05 +0000 |
| commit | fc86feac0b5c13a1030c7245d729b28cd1812be7 (patch) | |
| tree | 1c85c337060e44aef4abecc0c56b6e2d4e9c9cad /boot/Makefile | |
| parent | 402ee6867422e246deeafd2495118840497d9c65 (diff) | |
(all): Depend on boot.a too.
Diffstat (limited to 'boot/Makefile')
| -rw-r--r-- | boot/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/boot/Makefile b/boot/Makefile index a425ebc4..1010c6b0 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -36,6 +36,8 @@ LDFLAGS += -Wl,-T -Wl,frank1.ld #/usr/local/bin/boot: boot # cp boot /usr/local/bin/boot +all: boot.a + ourdevice.defs: $(includedir)/device/device.defs sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ |