summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-02-15 09:42:25 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-02-15 09:42:25 -0800
commit846650bc717b908ef865d8c4095ee6fcd059c79b (patch)
tree327b5afcf43f636d8eb68dbc666ec41f3c95c8fe /tools
parent5860d60cc79332c01da59f39e90fff2bcc8a5e9e (diff)
Optimized --smart.
Previously we had 0.24s on the benchmark without `--smart`, 0.38s with it. Now we have 0.27s with `--smart`, so `--smart` has only a small performance impact.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions