summaryrefslogtreecommitdiff
path: root/tools/lint.js
diff options
context:
space:
mode:
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-xtools/lint.js4
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) {