Skip to content

Commit 5db2345

Browse files
committed
Fail fast when user tries to generate reports with parallel workers
1 parent da21dae commit 5db2345

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

mypy/main.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,8 @@ def main(
102102
options.native_parser = True
103103
if options.cache_dir == os.devnull:
104104
fail("error: cache must be enabled in parallel mode", stderr, options)
105+
if options.report_dirs:
106+
fail("error: reports are not supported in parallel mode yet", stderr, options)
105107

106108
if options.allow_redefinition and not options.local_partial_types:
107109
fail(

0 commit comments

Comments
 (0)