diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-13 19:10:46 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-13 19:10:46 +0000 |
| commit | b615272fa6dc79bd23eba5fe889733773076779d (patch) | |
| tree | 617a543b873f1691344fb9e5d17de97118e418ee | |
| parent | eb99cedbb19533357806b68033761b7f3aff625b (diff) | |
*** empty log message ***
| -rw-r--r-- | boot/ChangeLog | 5 | ||||
| -rw-r--r-- | boot/Makefile | 5 |
2 files changed, 9 insertions, 1 deletions
diff --git a/boot/ChangeLog b/boot/ChangeLog index fa66def0..7460a171 100644 --- a/boot/ChangeLog +++ b/boot/ChangeLog @@ -1,3 +1,8 @@ +Tue Aug 13 15:09:45 1996 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu> + + * Makefile (ourdevice.defs): Depend on local device.defs. + (device.defs): New rule. + Mon Aug 12 11:11:08 1996 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu> * Makefile (ourdevice.defs): Find device.defs under diff --git a/boot/Makefile b/boot/Makefile index a1329b5a..92c30445 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -38,7 +38,10 @@ include ../Makeconf all: boot # uxboot -ourdevice.defs: $(install_includedir)/device/device.defs +device.defs: + echo '#include <device/device.defs>' | $(CC) -E - > $@ + +ourdevice.defs: device.defs sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ boot: ../libthreads/libthreads.so |