diff options
| author | Miles Bader <miles@gnu.org> | 1996-08-13 21:46:26 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-08-13 21:46:26 +0000 |
| commit | 652e8ffe4207b9805246e73944f6763be886d2d1 (patch) | |
| tree | fc7ad94ea57c0a31595172c0f356c3c703c18078 | |
| parent | 7f95a8a4c1a999bee77a323489341505abe2d3db (diff) | |
(device.defs): Rule removed.
(ourdevice.defs): Fix rule to work with Makeconf-generated device.defs.
| -rw-r--r-- | boot/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/boot/Makefile b/boot/Makefile index 92c30445..f8a8be5e 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -38,11 +38,8 @@ include ../Makeconf all: boot # uxboot -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/' $< > $@ + $(CPP) $(CPPFLAGS) -x c $< | sed -e '/out device : device_t/s/device_t/mach_port_send_t/' > $@ boot: ../libthreads/libthreads.so |