diff options
author | Bert Belder <bertbelder@gmail.com> | 2019-09-14 15:01:27 +0200 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2019-09-15 17:47:50 +0200 |
commit | e7d1da367150b03456b9e0f04b6ecd2ec13d51e0 (patch) | |
tree | 2adba5a09b599b417aba77776921416c304bb564 /tools/lint.py | |
parent | d936c49d532eaf6c4a5b8981765066cbc0b5a829 (diff) |
tools: clean up third_party.py, and merge prebuilt.py into it (#2950)
* Remove reference to removed dir 'third_party/rust_crates'.
* Remove reference to unused environment variable 'DENO_NINJA_PATH'.
* Remove helper functions 'root()' and 'tp()'.
* Move definition of 'third_party_path' to build.py.
* Move definition of 'gn_exe()' to setup.py.
* Move 'download_sccache()' and 'download_hyperfine()' from prebuilt.py
to third_party.py, and delete prebuilt.py.
* Add helper function 'get_platform_dir_name()' to locate the
platform-specific 'v8/buildtools/<platform>' and
'prebuilt/<platform>' directories.
* Add helper function 'get_prebuilt_tool_path()' that returns the full
path to a platform-specific executable in //prebuilt.
* Cosmetic improvements.
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/lint.py b/tools/lint.py index bd65da09e..46a3c94ca 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -4,12 +4,11 @@ import os import sys -from util import enable_ansi_colors, find_exts, root_path, run +from util import enable_ansi_colors, find_exts, root_path, run, third_party_path from third_party import python_env enable_ansi_colors() -third_party_path = os.path.join(root_path, "third_party") cpplint = os.path.join(third_party_path, "cpplint", "cpplint.py") eslint = os.path.join(third_party_path, "node_modules", "eslint", "bin", "eslint") |