[PATCH 1/5] libmachdev: Remove deviceUser, this lib is a deviceServer

[Damien Zammit]

libmachuser provides what we need
---
 libmachdev/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libmachdev/Makefile b/libmachdev/Makefile
index 1f15ebe9..db275cce 100644
--- a/libmachdev/Makefile
+++ b/libmachdev/Makefile
@@ -19,13 +19,13 @@ dir := libmachdev
 makemode := library
 libname = libmachdev
 
-SRCS = deviceUser.c machUser.c ds_routines.c trivfs_server.c \
-       device_replyUser.c deviceServer.c notifyServer.c
+SRCS = ds_routines.c trivfs_server.c \
+       deviceServer.c notifyServer.c
 
 LCLHDRS = machdev.h machdev-device_emul.h machdev-dev_hdr.h mach_device.h
 installhdrs = machdev.h machdev-device_emul.h machdev-dev_hdr.h
 HURDLIBS = ports trivfs
-LDLIBS += -lpthread
+LDLIBS += -lpthread -lmachuser
 OBJS = $(SRCS:.c=.o) $(MIGSTUBS)
 MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h
 device-MIGSFLAGS="-DMACH_PAYLOAD_TO_PORT=ports_payload_get_name"
-- 
2.25.1