diff options
| author | Nikolai Vavilov <vvnicholas@gmail.com> | 2017-09-08 14:44:58 +0300 |
|---|---|---|
| committer | Ruben Bridgewater <ruben@bridgewater.de> | 2017-09-24 12:31:52 -0300 |
| commit | b2eb98721e54904a4de02bf8b040f3c81793bda0 (patch) | |
| tree | c338fa9158bd87dbb8d672a5787397577a280833 /tools | |
| parent | 3c777bb37f33b1fc6c6d1df4fe5a27d7519935fd (diff) | |
| download | android-node-v8-b2eb98721e54904a4de02bf8b040f3c81793bda0.tar.gz android-node-v8-b2eb98721e54904a4de02bf8b040f3c81793bda0.tar.bz2 android-node-v8-b2eb98721e54904a4de02bf8b040f3c81793bda0.zip | |
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>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/lint-js.js (renamed from tools/jslint.js) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/jslint.js b/tools/lint-js.js index a8f4d498ed..bf4337792a 100644 --- a/tools/jslint.js +++ b/tools/lint-js.js @@ -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]) |