summaryrefslogtreecommitdiff
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
commit27ae2e9cbed13fb1ce4f21c2d69759fb0386ef15 (patch)
tree9f2196217ed4c736d9f823869a417760450152c9
parentb0b7356f91f09dcb819de5aaa93a284442c6226f (diff)
downloadmc-27ae2e9cbed13fb1ce4f21c2d69759fb0386ef15.tar.gz
Rename 'df' to 'dfcheck'.
It only checks stuff.
-rw-r--r--mi/Makefile2
-rw-r--r--mi/dfcheck.c (renamed from mi/df.c)0
2 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
diff --git a/mi/df.c b/mi/dfcheck.c
index bbe5cb6..bbe5cb6 100644
--- a/mi/df.c
+++ b/mi/dfcheck.c