summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-12-04 11:18:48 -0800
committerOri Bernstein <ori@eigenstate.org>2015-12-04 11:18:48 -0800
commite989bbf2b6d71c6ce9f9bb438f31097110fff1d6 (patch)
treecb097dce3646903b95afb04c84cf9cf5d32358f9 /Makefile
parent8526055dff6cd1c350da84f97de89efa75606ec7 (diff)
downloadmc-e989bbf2b6d71c6ce9f9bb438f31097110fff1d6.tar.gz
Add benchmark build tag to benchmarks.
We don't need them built by default.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3e6eb19..e3c70ce 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ check: all
.PHONY: bench
bench:
- mbld
+ mbld -tbench
mbld bench:benchit
.PHONY: bootstrap