diff options
Diffstat (limited to 'libddekit/Makefile')
| -rw-r--r-- | libddekit/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libddekit/Makefile b/libddekit/Makefile index a163a0c0..58dbd555 100644 --- a/libddekit/Makefile +++ b/libddekit/Makefile @@ -34,7 +34,7 @@ LCLHDRS = include/ddekit/condvar.h include/ddekit/lock.h \ config.h list.h util.h installhdrs = -MIGSTUBS = deviceUser.o machUser.o +MIGSTUBS = experimentalUser.o OBJS = $(sort $(SRCS:.c=.o) $(MIGSTUBS)) HURDLIBS = threads ports shouldbeinlibc hurd-slab |