summaryrefslogtreecommitdiff
path: root/mi
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-05-14 15:48:06 -0700
committerOri Bernstein <ori@eigenstate.org>2015-05-14 15:48:06 -0700
commitfc6db2b9b5be239dae9d21906e969d6e5207ec34 (patch)
tree5443a12eb1661b513176f30a42c591ed3cecbd7d /mi
parent927294f0ffc7029440111a48200aa2d476545650 (diff)
downloadmc-fc6db2b9b5be239dae9d21906e969d6e5207ec34.tar.gz
Update mkfiles to reflect renames.
Diffstat (limited to 'mi')
-rw-r--r--mi/mkfile3
1 files changed, 2 insertions, 1 deletions
diff --git a/mi/mkfile b/mi/mkfile
index c443c0b..81ab425 100644
--- a/mi/mkfile
+++ b/mi/mkfile
@@ -8,7 +8,8 @@ OFILES=\
cfg.$O\
fold.$O\
match.$O\
- df.$O\
+ dfcheck.$O\
+ reaching.$O\
HFILES=mi.h ../config.h ../parse/parse.h