diff options
author | Ryan Dahl <ry@tinyclouds.org> | 2019-09-11 16:47:42 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-11 16:47:42 -0400 |
commit | 82dc1b8e59891a7ca0f1a5e67a3db952b918561c (patch) | |
tree | e958c5d7bff81a4f218ad81b5e7b56451213d60a /tools/third_party.py | |
parent | ad11f2ad6aae758e67734d60f068285fb5e10655 (diff) |
Upgrade pylint (#2917)
depot_tools is removing pylint from its distribution so we must maintain
our own copy.
Diffstat (limited to 'tools/third_party.py')
-rw-r--r-- | tools/third_party.py | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/tools/third_party.py b/tools/third_party.py index 2333c3147..7ee8f22e4 100644 --- a/tools/third_party.py +++ b/tools/third_party.py @@ -3,11 +3,11 @@ # This script contains helper functions to work with the third_party subrepo. import os +from os import path import site import sys -from os import path -from util import add_env_path, find_exts, make_env, rmtree, root_path, run from tempfile import mkdtemp +from util import add_env_path, find_exts, make_env, rmtree, root_path, run # Helper function that returns the full path to a subpath of the repo root. @@ -129,6 +129,13 @@ def run_pip(): ], cwd=third_party_path, merge_env=pip_env) + + run([ + sys.executable, "-m", "pip", "install", "--upgrade", "--target", + python_packages_path, "pylint==1.5.6" + ], + cwd=third_party_path, + merge_env=pip_env) # Remove the temporary pip installation. rmtree(temp_python_home) |