Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PR の目的
検索対象の外部ツールに関する説明に CMake と Ninja を追加します。
カテゴリ
PR の背景
find-tools.bat という、外部ツールのパスを検索するツールがあります。
#1227 で CMake と Ninja もこのツールで検索できるようになりましたが、例によってドキュメントに反映されていませんでした。
(本件は #1630 の対応過程で見つけました。)
PR のメリット
PR のデメリット (トレードオフとかあれば)
仕様・動作説明
PR の影響範囲
テスト内容
テスト1
手順
関連 issue, PR
参考資料