summaryrefslogtreecommitdiff
path: root/cli/tools/lint.rs
diff options
context:
space:
mode:
authorRoj <ez@roj.im>2022-07-18 22:12:19 +0300
committerGitHub <noreply@github.com>2022-07-18 15:12:19 -0400
commit70d1ecaeaa7843b37e8ea5161b24988813b2f543 (patch)
tree011330b532ccd44320bf90c55c95b088467255bd /cli/tools/lint.rs
parent1f04cea160071a296fc97a6bd50a2690521d70f6 (diff)
feat(cli): support configuring the test tool in the config file (#15079)
Diffstat (limited to 'cli/tools/lint.rs')
-rw-r--r--cli/tools/lint.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/tools/lint.rs b/cli/tools/lint.rs
index 1c79ff8f6..cfc663387 100644
--- a/cli/tools/lint.rs
+++ b/cli/tools/lint.rs
@@ -70,7 +70,7 @@ pub async fn lint(flags: Flags, lint_flags: LintFlags) -> Result<(), AnyError> {
} = lint_flags;
// First, prepare final configuration.
// Collect included and ignored files. CLI flags take precendence
- // over config file, ie. if there's `files.ignore` in config file
+ // over config file, i.e. if there's `files.ignore` in config file
// and `--ignore` CLI flag, only the flag value is taken into account.
let mut include_files = args.clone();
let mut exclude_files = ignore.clone();