diff options
| author | Yining <zhang.yining@gmail.com> | 2022-11-06 08:32:51 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-06 09:32:51 +0900 |
| commit | edffffac2570cf837badf4195fb3d55ae439af7d (patch) | |
| tree | 7bb57352a3f1224ceb5c05b8c3a74aaf513d7e46 /supported-tools.md | |
| parent | 07bd24d0fd767e9c584a45d43f23e8d5956665fe (diff) | |
| download | ale-edffffac2570cf837badf4195fb3d55ae439af7d.zip | |
add: support config option for checkmake linter (#4351)
`checkmake` by default checks config file "in the same folder it's
executed in" unless `--config` option is set.
This commit allows setting the `--config` option with an option
variable (with documentation updated).
Diffstat (limited to 'supported-tools.md')
0 files changed, 0 insertions, 0 deletions