summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-12-16 00:48:53 -0800
committerOri Bernstein <ori@eigenstate.org>2015-12-16 00:48:53 -0800
commit9bc2ee0b819f161e76600687b59f82c002e994dd (patch)
treebc51895a38f336f9726ed29720649b1e8e2240e7 /Makefile
parent0ef6733ca5602407ccec8be6242c9a9ccd7c9cac (diff)
downloadmc-9bc2ee0b819f161e76600687b59f82c002e994dd.tar.gz
Add build tag for benchmarks.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e3c70ce..4f6c6e7 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ check: all
.PHONY: bench
bench:
mbld -tbench
- mbld bench:benchit
+ mbld -tbench bench:benchit
.PHONY: bootstrap
bootstrap: buildmyr