Build: Make the eslint:dev task not lint the dist/ folder

There was a mistake in paths logic that made the `dist/` folder linted
even in the `eslint:dev` task which is run before the build. Fix that by
explicitly ignoring the `dist/` folder at the end of the file list.

Closes gh-5257
This commit is contained in:
Michał Gołębiowski-Owczarek 2023-05-31 18:55:29 +02:00 committed by GitHub
parent fd6ffc5eb2
commit 44906a83d2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -136,7 +136,11 @@ module.exports = function( grunt ) {
.map( filePath => filePath[ 0 ] === "!" ? .map( filePath => filePath[ 0 ] === "!" ?
filePath.slice( 1 ) : filePath.slice( 1 ) :
`!${ filePath }` `!${ filePath }`
) ),
// Explicitly ignore `dist/` as it could be unignored by
// the above `.eslintignore` parsing.
"!dist/**/*.js"
] ]
} }
}, },