summaryrefslogtreecommitdiff
path: root/mi/mkfile
diff options
context:
space:
mode:
Diffstat (limited to 'mi/mkfile')
-rw-r--r--mi/mkfile3
1 files changed, 1 insertions, 2 deletions
diff --git a/mi/mkfile b/mi/mkfile
index f2af66d..5cf0c3b 100644
--- a/mi/mkfile
+++ b/mi/mkfile
@@ -6,8 +6,7 @@ CFLAGS=-c -D_POSIX_SOURCE -D_SUSV2_SOURCE -D_C99_SNPRINTF_EXTENSION -I../parse
LIB=libmi.a
OFILES=\
cfg.$O\
- fold.$O\
- match.$O\
+ match.$O\
dfcheck.$O\
reaching.$O\