summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <orib@google.com>2012-09-17 15:21:40 -0400
committerOri Bernstein <orib@google.com>2012-09-17 15:21:40 -0400
commitd4f8f2a57a2d1b7adf6d9f45a1d3661cfd3d3d48 (patch)
tree69b6acd823d5a98a1b035877dbf9c25fbcb51db5 /Makefile
parent150431ba47ff455aa3fb65525ccb44ec02a95774 (diff)
downloadmc-d4f8f2a57a2d1b7adf6d9f45a1d3661cfd3d3d48.tar.gz
Rename 'opt' to 'mi'.
It's not just for opts anymore.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3056d88..32f1d5b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
SUB = parse \
- opt \
+ mi \
6 \
util \
libmyr