diff options
| author | Ryan Dahl <ry@tinyclouds.org> | 2019-03-30 14:45:36 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-30 14:45:36 -0400 |
| commit | c9614d86c190b98bd8f0df9e17272387c3bad1d5 (patch) | |
| tree | 68d9054cabb8a829beac72024d48c37f0fce7321 /tools/lint.py | |
| parent | ad3cbc50fb255f287a890a28f158f6842d335538 (diff) | |
Move //libdeno to //core/libdeno (#2015)
Fixes some sed errors introduced in c43cfe.
Unfortunately moving libdeno required splitting build.rs into two parts,
one for cli and one for core.
I've also removed the arm64 build - it's complicating things at this
re-org and we're not even testing it. I need to swing back to it and get
tools/test.py running for it.
Diffstat (limited to 'tools/lint.py')
| -rwxr-xr-x | tools/lint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint.py b/tools/lint.py index 4ce7900d1..6f6ba8dfe 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -16,7 +16,7 @@ eslint = os.path.join(third_party_path, "node_modules", "eslint", "bin", os.chdir(root_path) run([ "python", cpplint, "--filter=-build/include_subdir", - "--repository=libdeno", "--extensions=cc,h", "--recursive", "libdeno" + "--repository=core/libdeno", "--extensions=cc,h", "--recursive", "core" ]) run([ |