From 4870e8f2f975aea5ca4c6d6401fc312e1d6e9bad Mon Sep 17 00:00:00 2001
From: Akita Noek <anoek@online-go.com>
Date: Tue, 23 Jul 2024 06:37:22 -0600
Subject: [PATCH] Fix missed eslint.config.mjs setting

---
 Gulpfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Gulpfile.js b/Gulpfile.js
index f113bd03de..f7cb01b373 100644
--- a/Gulpfile.js
+++ b/Gulpfile.js
@@ -78,7 +78,7 @@ function watch_eslint(done) {
 function eslint() {
     return gulp
         .src(ts_sources)
-        .pipe(gulpEslint({ overrideConfigFile: ".eslint.config.js" }))
+        .pipe(gulpEslint({ overrideConfigFile: "eslint.config.mjs" }))
         .pipe(gulpEslint.format())
         .pipe(gulpEslint.failAfterError());
 }