From b615272fa6dc79bd23eba5fe889733773076779d Mon Sep 17 00:00:00 2001
From: Thomas Bushnell <thomas@gnu.org>
Date: Tue, 13 Aug 1996 19:10:46 +0000
Subject: *** empty log message ***

---
 boot/ChangeLog | 5 +++++
 boot/Makefile  | 5 ++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

(limited to 'boot')

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
-- 
cgit v1.2.3