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 /man/man3/cmark.3 | |
| parent | 6f039027f8ebff929d6ee1bf4a357832154a9ad3 (diff) | |
make bench: allow overriding BENCHFILE.
Previously if you did this, it would clopper BENCHFILE
with the default bench file.
Diffstat (limited to 'man/man3/cmark.3')
0 files changed, 0 insertions, 0 deletions