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

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