diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-07-15 16:48:49 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-15 16:49:01 -0700 |
commit | 4b172b6be03de83157d3e2aab07efe40de8ee736 (patch) | |
tree | 9a22e7f555bc8dab3ea4f59f79c1a93e8b266917 | |
parent | 6f039027f8ebff929d6ee1bf4a357832154a9ad3 (diff) |
make bench: allow overriding BENCHFILE.
Previously if you did this, it would clopper BENCHFILE
with the default bench file.
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 >> $@; \ |