diff options
author | Alexander Neben <alexander.neben@mongodb.com> | 2023-04-26 17:06:53 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2023-04-26 18:41:57 +0000 |
commit | 5ac6f19876a0adf6bf5c7ac1e5eb5b8b7fcc531d (patch) | |
tree | e833c329bd1d117c5dfb6b7e872f588d42d64ec9 /buildscripts/linter | |
parent | 861a15b40720f0bb3b137576185bc1ba4d6eb0a8 (diff) | |
download | mongo-5ac6f19876a0adf6bf5c7ac1e5eb5b8b7fcc531d.tar.gz |
SERVER-76270 Moved lint_fuzzer_sanity to python
Diffstat (limited to 'buildscripts/linter')
-rw-r--r-- | buildscripts/linter/filediff.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildscripts/linter/filediff.py b/buildscripts/linter/filediff.py index 7dbad6d9d58..23d4a988b23 100644 --- a/buildscripts/linter/filediff.py +++ b/buildscripts/linter/filediff.py @@ -34,7 +34,7 @@ def _get_repos_and_revisions() -> Tuple[List[Repo], RevisionMap]: return repos, revision_map -def _filter_file(filename: str, is_interesting_file: Callable) -> bool: +def _filter_file(filename: str, is_interesting_file: Callable[[str], bool]) -> bool: """ Determine if file should be included based on existence and passed in method. @@ -45,7 +45,7 @@ def _filter_file(filename: str, is_interesting_file: Callable) -> bool: return os.path.exists(filename) and is_interesting_file(filename) -def gather_changed_files_for_lint(is_interesting_file: Callable) -> List[str]: +def gather_changed_files_for_lint(is_interesting_file: Callable[[str], bool]) -> List[str]: """ Get the files that have changes since the last git commit. |