summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-05-06 16:59:28 -0700
committerOri Bernstein <ori@eigenstate.org>2015-05-06 16:59:28 -0700
commita2cc58be74896e3519b7054d7c507c4c76a54db2 (patch)
tree9f2196217ed4c736d9f823869a417760450152c9 /mi/Makefile
parent076f0227af253fb49225135e5dbbfb2e2aba49e6 (diff)
downloadmc-a2cc58be74896e3519b7054d7c507c4c76a54db2.tar.gz
Rename 'df' to 'dfcheck'.
It only checks stuff.
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/mi/Makefile b/mi/Makefile
index f2ad256..cdfb65c 100644
--- a/mi/Makefile
+++ b/mi/Makefile
@@ -2,7 +2,7 @@ LIB=libmi.a
OBJ=cfg.o \
fold.o \
match.o \
- df.o \
+ dfcheck.o \
DEPS=../parse/libparse.a