summaryrefslogtreecommitdiff
path: root/boot/Makefile
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-04-06 17:30:39 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-04-06 17:30:39 +0000
commitfd2388747f73efd53d37df5a4b30e21c9c5d5325 (patch)
tree4b4024208a69bce720826c4c70d827c98f87f66d /boot/Makefile
parente7173d971d0324a0add23b3fc4c6c3309138bd44 (diff)
Formerly Makefile.~9~
Diffstat (limited to 'boot/Makefile')
-rw-r--r--boot/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile
index 60ac7e9f..3c2cdbd7 100644
--- a/boot/Makefile
+++ b/boot/Makefile
@@ -55,4 +55,4 @@ device_S.h deviceServer.c: $(headers)/device/device.defs
io_S.h ioServer.c: $(headers)/hurd/io.defs
$(CPP) $(CPPFLAGS) $< | \
- $(MIGCOM) -user /dev/null -header /dev/null -sheader io_S.h
+ $(MIGCOM) -prefix S_ -user /dev/null -header /dev/null -sheader io_S.h