diff --git a/scripts/dmypy b/scripts/dmypy deleted file mode 100755 index b760d5a7cc1e..000000000000 --- a/scripts/dmypy +++ /dev/null @@ -1,20 +0,0 @@ -#!/usr/bin/env python3 -"""Mypy daemon client. - -This is just a wrapper script. Look at mypy/dmypy.py for the actual -implementation. -""" - -import os -import os.path -import sys - -file_dir = os.path.dirname(__file__) -parent_dir = os.path.join(file_dir, os.pardir) -if os.path.exists(os.path.join(parent_dir, '.git')): - # We are running from a git clone. - sys.path.insert(0, parent_dir) - -import mypy.dmypy - -mypy.dmypy.main()