summaryrefslogtreecommitdiff
path: root/devnode/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'devnode/Makefile')
-rw-r--r--devnode/Makefile6
1 files changed, 1 insertions, 5 deletions
diff --git a/devnode/Makefile b/devnode/Makefile
index 2c8af58d..d9a9c23c 100644
--- a/devnode/Makefile
+++ b/devnode/Makefile
@@ -20,14 +20,10 @@ makemode := server
SRCS = devnode.c
LCLHDRS = util.h
-DIST_FILES = ourdevice.defs notify.defs
HURDLIBS = ports trivfs fshelp shouldbeinlibc
target = devnode
-MIGSTUBS = ourdeviceServer.o notifyServer.o
+MIGSTUBS = deviceServer.o notifyServer.o
MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h
OBJS = $(SRCS:.c=.o) $(MIGSTUBS)
include ../Makeconf
-
-ourdevice.defs: device.defs
- $(CPP) $(CPPFLAGS) -x c $< | sed -e '/out[ ]*device[ ]*:[ ]*device_t/s/device_t/mach_port_send_t/' > $@