summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/mi/Makefile b/mi/Makefile
index 3a7cd1b..0351fe3 100644
--- a/mi/Makefile
+++ b/mi/Makefile
@@ -2,6 +2,7 @@ LIB=libmi.a
OBJ=cfg.o \
dfcheck.o \
fold.o \
+ genloc.o \
match.o \
reaching.o \