diff options
Diffstat (limited to 'boot')
| -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/' $< > $@ |