diff options
| -rw-r--r-- | boot/Makefile | 2 |
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 |