summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-05-08 01:06:17 -0700
committerOri Bernstein <ori@eigenstate.org>2015-05-08 01:06:17 -0700
commit3b2a10f280a9c927bd678199a90a96f8cddab89c (patch)
treeac3dbb71a50d046af575f2cda53f68a4acadb248 /mi/Makefile
parent6cf64ac765264c305b91b3062ef8e3525e83add5 (diff)
downloadmc-3b2a10f280a9c927bd678199a90a96f8cddab89c.tar.gz
Get closer to a working use-before-def check.
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/mi/Makefile b/mi/Makefile
index cdfb65c..3a7cd1b 100644
--- a/mi/Makefile
+++ b/mi/Makefile
@@ -1,8 +1,10 @@
LIB=libmi.a
OBJ=cfg.o \
+ dfcheck.o \
fold.o \
match.o \
- dfcheck.o \
+ reaching.o \
+
DEPS=../parse/libparse.a