summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-05-09 16:49:09 -0700
committerOri Bernstein <ori@eigenstate.org>2015-05-09 16:49:09 -0700
commited8711e68e441e9884d734932373317834665833 (patch)
tree08a3f37550af1b6adb1ad912ee6df70fa6c1ceaf /mi/Makefile
parentbd5fb6d0628831cde25f13e3fe461786d616a06e (diff)
downloadmc-ed8711e68e441e9884d734932373317834665833.tar.gz
Refactor code to add jump tables, and prepare to generate them.
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/mi/Makefile b/mi/Makefile
index 3a7cd1b..0351fe3 100644
--- a/mi/Makefile
+++ b/mi/Makefile
@@ -2,6 +2,7 @@ LIB=libmi.a
OBJ=cfg.o \
dfcheck.o \
fold.o \
+ genloc.o \
match.o \
reaching.o \