Make git ignore bench_recover when configured with benchmark enabled
Merge pull request #165

6a59012 Make git ignore bench_recover when configured with benchmark enabled (Pavel Janík)