diff options
Diffstat (limited to 'bench/bench.sh')
| -rw-r--r-- | bench/bench.sh | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/bench/bench.sh b/bench/bench.sh index cf1ae49..f249ffc 100644 --- a/bench/bench.sh +++ b/bench/bench.sh @@ -269,12 +269,7 @@ setup() { ) done - # $SETUP_DIR contains `:` so it won't work in $PATH - # Work around this with a symlink - tmp=$(as-user mktemp) - as-user ln -sf "$bin" "$tmp" - defer rm "$tmp" - export PATH="$tmp:$PATH" + export PATH="$bin:$PATH" fi export_array BFS @@ -365,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) |