summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-07-15 16:48:49 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-07-15 16:49:01 -0700
commit4b172b6be03de83157d3e2aab07efe40de8ee736 (patch)
tree9a22e7f555bc8dab3ea4f59f79c1a93e8b266917
parent6f039027f8ebff929d6ee1bf4a357832154a9ad3 (diff)
make bench: allow overriding BENCHFILE.
Previously if you did this, it would clopper BENCHFILE with the default bench file.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c29093f..6ff8b88 100644
--- a/Makefile
+++ b/Makefile
@@ -153,7 +153,7 @@ fuzztest:
progit:
git clone https://github.com/progit/progit.git
-$(BENCHFILE): progit
+$(BENCHDIR)/benchinput.md: progit
echo "" > $@
for lang in ar az be ca cs de en eo es es-ni fa fi fr hi hu id it ja ko mk nl no-nb pl pt-br ro ru sr th tr uk vi zh zh-tw; do \
cat progit/$$lang/*/*.markdown >> $@; \