diff options
| -rwxr-xr-x | servers/build_tools.py | 29 |
1 files changed, 23 insertions, 6 deletions
diff --git a/servers/build_tools.py b/servers/build_tools.py index 80fac3b..11b88bf 100755 --- a/servers/build_tools.py +++ b/servers/build_tools.py @@ -51,12 +51,29 @@ def install_deps(): if not os.path.exists(site.USER_SITE): os.makedirs(site.USER_SITE) - run( - [PYTHON_EXE, "setup.py", "develop", "--user"], - {}, - "dep", - os.path.join(AOSP_ROOT, "external", "qemu", "android", "build", "python"), - ) + try: + run( + [ + PYTHON_EXE, + "-m", + "pip", + "install", + "-e", + ".", + "--user", + ], + {}, + "dep", + os.path.join(AOSP_ROOT, "external", "qemu", "android", "build", "python"), + ) + except: + run( + [PYTHON_EXE, "setup.py", "develop", "--user"], + {}, + "dep", + os.path.join(AOSP_ROOT, "external", "qemu", "android", "build", "python"), + ) + class LogBelowLevel(logging.Filter): |