diff options
Diffstat (limited to 'bench/bench.sh')
| -rw-r--r-- | bench/bench.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/bench.sh b/bench/bench.sh index b6682a2..f249ffc 100644 --- a/bench/bench.sh +++ b/bench/bench.sh @@ -360,7 +360,7 @@ bench-complete() { fi } -# Benchmark quiting as soon as a file is seen +# Benchmark quitting as soon as a file is seen bench-early-quit-corpus() { dir="$2" max_depth=$(./bin/bfs "$dir" -printf '%d\n' | sort -rn | head -n1) |