diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-04-20 19:07:50 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-04-20 19:07:50 +0000 |
| commit | 1348f4313a50d684bada3b178bd995534654c0cc (patch) | |
| tree | d5fc0c1a2c997192dd30d3fed5b45ce4029c3ff2 /boot/Makefile | |
| parent | 6d04fb1347d60d5c1cf52f93dd925ef18a2c6df9 (diff) | |
Formerly Makefile.~11~
Diffstat (limited to 'boot/Makefile')
| -rw-r--r-- | boot/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index e57159ef..9b23c7f1 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -50,7 +50,10 @@ exec_S.h execServer.c: $(headers)/hurd/exec.defs $(MIGCOM) -user /dev/null -header /dev/null \ -sheader exec_S.h -device_S.h deviceServer.c: $(headers)/device/device.defs +device.defs: $(headers)/device/device.defs + sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ + +device_S.h deviceServer.c: device.defs $(CPP) $(CPPFLAGS) $< | \ $(MIGCOM) -user /dev/null -header /dev/null \ -sheader device_S.h |