diff options
Diffstat (limited to 'term/Makefile')
| -rw-r--r-- | term/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/term/Makefile b/term/Makefile index 9537c601..5006c0db 100644 --- a/term/Makefile +++ b/term/Makefile @@ -34,3 +34,4 @@ include ../Makeconf device_replyServer-CPPFLAGS = -DTypeCheck=0 -Wno-unused # XXX tioctl-MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h +term-MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h |