From ae7875a7567bbc7ccdd808e7055e5becb2a0ec2f Mon Sep 17 00:00:00 2001 From: Diego Prado Gesto Date: Tue, 3 Jul 2018 12:09:01 +0200 Subject: [PATCH] Revert changes in run_mypy script by mistake --- run_mypy.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/run_mypy.py b/run_mypy.py index b324dfb3d2..2a2c72dbbe 100644 --- a/run_mypy.py +++ b/run_mypy.py @@ -34,13 +34,13 @@ def main(): os.putenv("MYPYPATH", ":".join(mypyPathParts)) # Mypy really needs to be run via its Python script otherwise it can't find its data files. - mypyExe = where("mypy.exe" if sys.platform == "win32" else "mypy") - mypyModule = os.path.join(os.path.dirname(mypyExe), "mypy.exe") + mypyExe = where("mypy.bat" if sys.platform == "win32" else "mypy") + mypyModule = os.path.join(os.path.dirname(mypyExe), "mypy") plugins = findModules("plugins") plugins.sort() - mods = plugins + findModules("plugins/VersionUpgrade") + mods = ["cura"] + plugins + findModules("plugins/VersionUpgrade") for mod in mods: print("------------- Checking module {mod}".format(**locals()))