diff options
| author | Simon Edwards <s.edwards@ultimaker.com> | 2017-02-14 15:47:37 +0300 |
|---|---|---|
| committer | Simon Edwards <s.edwards@ultimaker.com> | 2017-02-14 15:47:37 +0300 |
| commit | 4928c919428249e9b73e2536d425168c0464cd6f (patch) | |
| tree | 90de6e8f2ab15d0308599bba3964f6ae6c87b13e /run_mypy.py | |
| parent | 2451921604dc0a110c574ae884e1413635851c37 (diff) | |
Make run_mypy.py slightly more cross platform.
Diffstat (limited to 'run_mypy.py')
| -rw-r--r-- | run_mypy.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/run_mypy.py b/run_mypy.py index 24c9d3ae31..25ab54c0bf 100644 --- a/run_mypy.py +++ b/run_mypy.py @@ -21,7 +21,10 @@ def findModules(path): return result
def main():
- os.putenv("MYPYPATH", r".;.\plugins;.\plugins\VersionUpgrade;..\Uranium_hint\;..\Uranium_hint\stubs\\" )
+ if sys.platform == "win32":
+ os.putenv("MYPYPATH", r".;.\plugins;.\plugins\VersionUpgrade;..\Uranium\;..\Uranium\stubs\\" )
+ else:
+ os.putenv("MYPYPATH", r".:./plugins:./plugins/VersionUpgrade:../Uranium/:../Uranium\stubs/")
# Mypy really needs to be run via its Python script otherwise it can't find its data files.
mypyExe = where("mypy.bat" if sys.platform == "win32" else "mypy")
|