diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-12 18:31:04 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-12 18:31:04 +0000 |
| commit | 9474c6318ad2effa3e80246d1012cb111e726bf0 (patch) | |
| tree | b1f5dbfbd38913dcc4ebf721f81443472937dec0 /boot | |
| parent | 4b4fc640461f0f6e152204deda38a4e9272fe9e1 (diff) | |
*** empty log message ***
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/ChangeLog | 7 | ||||
| -rw-r--r-- | boot/Makefile | 4 |
2 files changed, 9 insertions, 2 deletions
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 <thomas@gnu.ai.mit.edu> + + * 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 <thomas@gnu.ai.mit.edu> * 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 |