diff options
Diffstat (limited to 'boot/Makefile')
| -rw-r--r-- | boot/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/boot/Makefile b/boot/Makefile index 30838e5d..a1329b5a 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -36,9 +36,9 @@ include ../Makeconf #/usr/local/bin/uxboot: uxboot # cp $< $@ -all: boot uxboot +all: boot # uxboot -ourdevice.defs: $(includedir)/device/device.defs +ourdevice.defs: $(install_includedir)/device/device.defs sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ boot: ../libthreads/libthreads.so |