Commit 4b172b6be03de83157d3e2aab07efe40de8ee736 Parent 6f039027f8ebff929d6ee1bf4a357832154a9ad3 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 15 Jul 2015 16:48:49 -0700 make bench: allow overriding BENCHFILE. Previously if you did this, it would clopper BENCHFILE with the default bench file.