PR #15133 scripts: fix crash when --tool is not set

scripts: fix crash when --tool is not set #15133

JohannesGaessler merged 1 commit into ggml-org:master from JohannesGaessler:scripts-fix-compare-llama-bench

scripts: fix crash when --tool is not set

852a825b

JohannesGaessler requested a review from

yeahdongcn 65 days ago

github-actions added script

github-actions added python

yeahdongcn approved these changes on 2025-08-07

JohannesGaessler merged 20638e4f into master 65 days ago

Reviewers

yeahdongcn

Assignees

No one assigned

Labels

script python

Milestone

No milestone