diff options
author | Bartek IwaĆczuk <biwanczuk@gmail.com> | 2021-01-17 00:32:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-17 00:32:59 +0100 |
commit | b26dcbc69d56b6ac5780520dad47f10460127d3e (patch) | |
tree | 1f0c45b2c39eff83a9fede7a9e6e268a5e04194b /tools/lint.js | |
parent | fc45a19801fe32eaf3a82ab8333f433fcfd7ca4e (diff) |
chore: Enforce ban-untagged-todo lint rule (#9135)
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js index b31ad2994..0d90e8546 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -4,10 +4,12 @@ import { buildMode, getPrebuiltToolPath, getSources, + join, ROOT_PATH, } from "./util.js"; async function dlint() { + const configFile = join(ROOT_PATH, ".dlint.json"); const execPath = getPrebuiltToolPath("dlint"); console.log("dlint"); @@ -49,7 +51,7 @@ async function dlint() { } for (const chunk of chunks) { const p = Deno.run({ - cmd: [execPath, "run", ...chunk], + cmd: [execPath, "run", "--config=" + configFile, ...chunk], }); const { success } = await p.status(); if (!success) { |