summaryrefslogtreecommitdiff
path: root/mi
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org'>2016-01-03 10:38:54 -0800
committerOri Bernstein <ori@eigenstate.org'>2016-01-03 10:38:54 -0800
commit7a08119041e6c1ac8f26f52ba7afff42ac21e631 (patch)
tree0ab93f324fbe357fdf46f42dafb58ab6558c83ab /mi
parent7b5b13c934275e5445185cbf31486ea6c0e08e79 (diff)
downloadmc-7a08119041e6c1ac8f26f52ba7afff42ac21e631.tar.gz
Update mkfiles for code shuffle
Diffstat (limited to 'mi')
-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\