From fd2388747f73efd53d37df5a4b30e21c9c5d5325 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Wed, 6 Apr 1994 17:30:39 +0000
Subject: Formerly Makefile.~9~

---
 boot/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'boot')

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
-- 
cgit v1.2.3