diff options
author | nokazn <41154684+nokazn@users.noreply.github.com> | 2024-01-04 10:43:17 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-03 20:43:17 -0500 |
commit | a0b687235907ce91358677353c00f575548313b4 (patch) | |
tree | 5a91d08d997ac7226208f3a24211fef9ef1123ef /ext/web/01_dom_exception.js | |
parent | 00970daea2245bf4af6b3ee21d0e522fec5638b8 (diff) |
fix(cli): respect `exclude` option for `deno check` command (#21779)
This PR fixes #21658.
- `check` subcommand sees `exclude` option in `deno.json`. When some
paths passed with `check` command listed in `exclude`, they are ignored.
- When some files are listed in `exclude` and imported indirectly among
module graph, they are checked.
Diffstat (limited to 'ext/web/01_dom_exception.js')
0 files changed, 0 insertions, 0 deletions