summaryrefslogtreecommitdiff
path: root/term/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'term/Makefile')
-rw-r--r--term/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/term/Makefile b/term/Makefile
index 025a9b39..9537c601 100644
--- a/term/Makefile
+++ b/term/Makefile
@@ -32,3 +32,5 @@ OBJS = $(subst .c,.o,$(SRCS)) termServer.o device_replyServer.o tioctlServer.o o
include ../Makeconf
device_replyServer-CPPFLAGS = -DTypeCheck=0 -Wno-unused # XXX
+
+tioctl-MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h