From 9474c6318ad2effa3e80246d1012cb111e726bf0 Mon Sep 17 00:00:00 2001 From: Thomas Bushnell Date: Mon, 12 Aug 1996 18:31:04 +0000 Subject: *** empty log message *** --- boot/ChangeLog | 7 +++++++ boot/Makefile | 4 ++-- 2 files changed, 9 insertions(+), 2 deletions(-) (limited to 'boot') diff --git a/boot/ChangeLog b/boot/ChangeLog index 19d13d51..fa66def0 100644 --- a/boot/ChangeLog +++ b/boot/ChangeLog @@ -1,3 +1,10 @@ +Mon Aug 12 11:11:08 1996 Thomas Bushnell, n/BSG + + * Makefile (ourdevice.defs): Find device.defs under + install_includedir now. + + * Makefile (all): No longer build uxboot by default. + Thu Aug 1 14:38:38 1996 Thomas Bushnell, n/BSG * boot_script.h (safe_gets): Declare second parm as type `int'. 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 -- cgit v1.2.3