summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-05-05 18:09:31 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-05-05 18:09:31 +0000
commit02d52cea1a6e407c3c9664f331d973537d90a91b (patch)
tree5527917495716943fd21998ba56a4299320044b5
parent7c5750377a3a014535ca0fcbb1a22885bada5102 (diff)
Formerly Makefile.~15~
-rw-r--r--boot/Makefile8
1 files changed, 3 insertions, 5 deletions
diff --git a/boot/Makefile b/boot/Makefile
index 2df509ad..f4e8a559 100644
--- a/boot/Makefile
+++ b/boot/Makefile
@@ -24,7 +24,7 @@ VPATH=.:../machine
OBJS = boot.o notifyServer.o execServer.o deviceServer.o ioServer.o \
io_replUser.o device_replyUser.o sigvec.o
-DIST_FILES = boot.c Makefile mungio io_repl.defs ChangeLog
+DIST_FILES = boot.c Makefile io_repl.defs ChangeLog
all: boot
@@ -63,10 +63,8 @@ device_replyUser.c: $(includedir)/device/device_reply.defs
$(CPP) $(CPPFLAGS) $< | \
$(MIGCOM) -server /dev/null
-io.defs: $(includedir)/hurd/io.defs mungio
- sed -f mungio $< > $@
-io_S.h ioServer.c: io.defs
- $(CPP) $(CPPFLAGS) $< | \
+io_S.h ioServer.c: $(includedir)/hurd/io.defs
+ $(CPP) $(CPPFLAGS) $< -DREPLY_PORTS | \
$(MIGCOM) -prefix S_ -user /dev/null -header /dev/null -sheader io_S.h
io_repl.h io_replUser.c: io_repl.defs