diff options
| author | Rich Trott <rtrott@gmail.com> | 2016-08-16 14:18:51 -0700 |
|---|---|---|
| committer | Rich Trott <rtrott@gmail.com> | 2016-08-18 14:39:23 -0700 |
| commit | dbbbf217de60c21bfb175d0c1b3c3d2abe0c4c2d (patch) | |
| tree | 2de4a9dfdc2019ede453bde8982d7a96e596f791 /vcbuild.bat | |
| parent | 1d0385f62ddcb115727f56f93bf9f79aaafd3947 (diff) | |
| download | node-new-dbbbf217de60c21bfb175d0c1b3c3d2abe0c4c2d.tar.gz | |
build: do not lint src dir for JS errors
There are no JavaScript files in the `src` directory. It can be
safely omitted from the JavaScript linting step.
PR-URL: https://github.com/nodejs/node/pull/8128
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Johan Bergström <bugs@bergstroem.nu>
Reviewed-By: Roman Reiss <me@silverwind.io>
Reviewed-By: James M Snell <jasnell@gmail.com>
Diffstat (limited to 'vcbuild.bat')
| -rw-r--r-- | vcbuild.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vcbuild.bat b/vcbuild.bat index 3d73ce8142..701127e4d2 100644 --- a/vcbuild.bat +++ b/vcbuild.bat @@ -351,12 +351,12 @@ if defined jslint_ci goto jslint-ci if not defined jslint goto exit if not exist tools\eslint\lib\eslint.js goto no-lint echo running jslint -%config%\node tools\jslint.js -J benchmark lib src test tools +%config%\node tools\jslint.js -J benchmark lib test tools goto exit :jslint-ci echo running jslint-ci -%config%\node tools\jslint.js -J -f tap -o test-eslint.tap benchmark lib src test tools +%config%\node tools\jslint.js -J -f tap -o test-eslint.tap benchmark lib test tools goto exit :no-lint |