diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-18 22:40:05 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-18 22:40:05 +0000 |
| commit | 92b051c4c70981c9ac546c96abff5a98dd0848ec (patch) | |
| tree | cc26621abaa1c706f3985550a727b990cfbea59c /libddekit | |
| parent | 9d6ebf1b821dd0c349b6d77bcf17ef0d5039a5cc (diff) | |
Use experimental.defs instead of patched device.defs and mach.defs
Diffstat (limited to 'libddekit')
| -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 |