scripts: fix crash when --tool is not set#15133
Merged
JohannesGaessler merged 1 commit intoggml-org:masterfrom Aug 7, 2025
Merged
scripts: fix crash when --tool is not set#15133JohannesGaessler merged 1 commit intoggml-org:masterfrom
JohannesGaessler merged 1 commit intoggml-org:masterfrom