diff options
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) { |