diff options
Diffstat (limited to 'devnode/Makefile')
-rw-r--r-- | devnode/Makefile | 6 |
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/' > $@ |