diff options
Diffstat (limited to 'libmachdev/Makefile')
| -rw-r--r-- | libmachdev/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libmachdev/Makefile b/libmachdev/Makefile index 728fe82e..e0064610 100644 --- a/libmachdev/Makefile +++ b/libmachdev/Makefile @@ -28,6 +28,7 @@ installhdrs = machdev.h HURDLIBS = ports trivfs ddekit bpf OTHERLIBS = -lpthread OBJS = $(SRCS:.c=.o) $(MIGSTUBS) +MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h include ../Makeconf |