diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-03 17:49:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-03 17:49:20 +0100 |
| commit | ef641a07b8b0e34f93fe0aab03cdcd863f86e889 (patch) | |
| tree | e1c464843af08a9d0a493cf0177d8467dd738309 /tools/third_party.py | |
| parent | 8e914be7420715620cad74fbb020c5e87ac875a2 (diff) | |
build: remove eslint (#8232)
This commit updates "third_party" submodule
to remove "eslint" and its dependencies.
In result "tools/package.json" has been removed.
Diffstat (limited to 'tools/third_party.py')
| -rw-r--r-- | tools/third_party.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/third_party.py b/tools/third_party.py index e8ab5043c..9e14f1366 100644 --- a/tools/third_party.py +++ b/tools/third_party.py @@ -44,17 +44,6 @@ def python_env(env=None, merge_env=None): return env -# Run Yarn to install JavaScript dependencies. -def run_yarn(): - node_modules_path = os.path.join(third_party_path, "node_modules") - # Note to keep the root directory clean, we keep package.json is in tools/. - run([ - "yarn", "install", "--no-lockfile", - "--modules-folder=" + node_modules_path - ], - cwd=os.path.join(root_path, "tools")) - - # Install python packages with pip. def run_pip(): # Install an recent version of pip into a temporary directory. The version |