Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions mypy/main.py
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,8 @@ def main(
options.native_parser = True
if options.cache_dir == os.devnull:
fail("error: cache must be enabled in parallel mode", stderr, options)
if options.report_dirs:
fail("error: reports are not supported in parallel mode yet", stderr, options)
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggest using -n0 to disable parallel mode (in case it's picked up from the config file, so user might not remember how to do it)?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, good idea.


if options.allow_redefinition and not options.local_partial_types:
fail(
Expand Down
Loading