mirror of
https://github.com/nodejs/node.git
synced 2026-10-14 10:26:26 -04:00
build: use generic names for linting tasks
"jslint" is the name of a tool that actually is not used, which can cause confusion. PR-URL: https://github.com/nodejs/node/pull/15272 Reviewed-By: Roman Reiss <me@silverwind.io> Reviewed-By: Rich Trott <rtrott@gmail.com> Reviewed-By: Gibson Fahnestock <gibfahn@gmail.com> Reviewed-By: Refael Ackermann <refack@gmail.com> Reviewed-By: Alexey Orlenko <eaglexrlnk@gmail.com>
This commit is contained in:
1 parent
3c777bb37f
commit
b2eb98721e
3 files changed
+56
-45
No files matched your search
@@ -59,7 +59,7 @@ if (cluster.isMaster) {
|
||||
throw new Error('Bad parallel job count');
|
||||
}
|
||||
|
||||
// Check for custom JSLint report formatter
|
||||
// Check for custom ESLint report formatter
|
||||
i = process.argv.indexOf('-f');
|
||||
if (i !== -1) {
|
||||
if (!process.argv[i + 1])
|
||||
@@ -77,7 +77,7 @@ if (cluster.isMaster) {
|
||||
formatter = cli.getFormatter();
|
||||
}
|
||||
|
||||
// Check if outputting JSLint report to a file instead of stdout
|
||||
// Check if outputting ESLint report to a file instead of stdout
|
||||
i = process.argv.indexOf('-o');
|
||||
if (i !== -1) {
|
||||
if (!process.argv[i + 1])
|
||||
Reference in new issue
Block a user