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