diff --git a/0003-Pass-executable-path-into-main-when-running-installe.patch b/0003-Pass-executable-path-into-main-when-running-installe.patch new file mode 100644 index 0000000..ecbe835 --- /dev/null +++ b/0003-Pass-executable-path-into-main-when-running-installe.patch @@ -0,0 +1,30 @@ +From 3ee8d60caa5e6480c81f8d47423679cc0e7ba8e6 Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Jonas=20K=C3=BCmmerlin?= +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 +