File 0003-Pass-executable-path-into-main-when-running-installe.patch of Package mypy

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(-)

--- 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__':