summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-09-23 10:39:39 -0700
committerOri Bernstein <ori@eigenstate.org>2015-09-23 10:39:39 -0700
commitb319e47808ef74e3ed23a624ac9965551a7f51b5 (patch)
tree4fe8c0d0e21c67c2033202a0d8141faf7cb54807 /Makefile
parent7b6d31689c011fd8505d1eb96c829e89688d89d2 (diff)
downloadmc-b319e47808ef74e3ed23a624ac9965551a7f51b5.tar.gz
Include necessary library deps in benchmarks.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 78f8b54..3e6eb19 100644
--- a/Makefile
+++ b/Makefile
@@ -17,8 +17,10 @@ check: all
./mbldwrap.sh test:runtest
./mbldwrap.sh test
-bench: all
- $(MAKE) -C bench bench
+.PHONY: bench
+bench:
+ mbld
+ mbld bench:benchit
.PHONY: bootstrap
bootstrap: buildmyr