From 3ee8d60caa5e6480c81f8d47423679cc0e7ba8e6 Mon Sep 17 00:00:00 2001

From: =?UTF-8?q?Jonas=20K=C3=BCmmerlin?= <jonas@kuemmerlin.eu>

Date: Mon, 21 Aug 2017 22:22:49 +0200

Subject: [PATCH 3/3] Pass executable path into main() when running installed

 script

---

 mypy/__main__.py | 3 ++-

 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mypy/__main__.py b/mypy/__main__.py

index 625242d1..f4ac9511 100644

--- a/mypy/__main__.py

+++ b/mypy/__main__.py

@@ -1,10 +1,11 @@

 """Mypy type checker command line tool."""

 from mypy.main import main

+import sys

 def console_entry() -> None:

-    main(None)

+    main(sys.argv[0])

 if __name__ == '__main__':

-- 

2.13.5