Skip to content

Commit d3e7a10

Browse files
committed
Require using skip or error for follow-imports in dmypy
1 parent 33c62ba commit d3e7a10

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

mypy/dmypy_server.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,10 @@ def process_start_options(flags: List[str]) -> Options:
9797
sys.exit("dmypy: start/restart should not specify quick_and_dirty mode")
9898
if options.use_fine_grained_cache and not options.fine_grained_incremental:
9999
sys.exit("dmypy: fine-grained cache can only be used in experimental mode")
100+
# Our file change tracking can't yet handle changes to files that aren't
101+
# specified in the sources list.
102+
if options.follow_imports not in ('skip', 'error'):
103+
sys.exit("dmypy: follow-imports must be 'skip' or 'error'")
100104
return options
101105

102106

0 commit comments

Comments
 (0)