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 | |
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.
m--------- | third_party | 0 | ||||
-rw-r--r-- | tools/package.json | 12 | ||||
-rw-r--r-- | tools/third_party.py | 11 |
3 files changed, 0 insertions, 23 deletions
diff --git a/third_party b/third_party -Subproject 5ed809d56efa48f9d655b7b5333ccefdc7a1c7d +Subproject 5f601d94ad223e69aa171a78ae95b464b9bf105 diff --git a/tools/package.json b/tools/package.json deleted file mode 100644 index bd619fa56..000000000 --- a/tools/package.json +++ /dev/null @@ -1,12 +0,0 @@ -{ - "name": "deno", - "private": true, - "devDependencies": { - "@typescript-eslint/eslint-plugin": "2.5.0", - "@typescript-eslint/parser": "2.5.0", - "eslint": "5.15.1", - "eslint-config-prettier": "4.1.0", - "magic-string": "0.25.2", - "typescript": "3.6.3" - } -} 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 |