From 26987edb483f143da1e442beccff61ee3c8323cd Mon Sep 17 00:00:00 2001
From: Kai Zhu <kaizhu256@gmail.com>
Date: Mon, 24 Jun 2024 14:17:24 -0500
Subject: [PATCH] - jslint - Remove unnecessary shell-function shCurlExe().

---
 CHANGELOG.md |  1 +
 jslint_ci.sh | 12 +-----------
 2 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index bdbfbfc0f..13303d33b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,6 +8,7 @@
 - jslint - try to improve parser to be able to parse jquery.js without stopping.
 
 # v2024.6.1-beta
+- jslint - Remove unnecessary shell-function shCurlExe().
 - coverage - Fix coverage-function v8CoverageReportCreate() throwing error EINVAL in latest nodejs-security-patch, when running win32-coverage with npm.cmd.
 
 # v2024.3.26
diff --git a/jslint_ci.sh b/jslint_ci.sh
index 1a44fa48d..d2a2e439f 100644
--- a/jslint_ci.sh
+++ b/jslint_ci.sh
@@ -651,16 +651,6 @@ shCiPublishPypi() {(set -e
     fi
 )}
 
-shCurlExe() {(set -e
-# This function will print to stdout "curl.exe", if it exists, else "curl".
-    if [ -f c:/windows/system32/curl.exe ]
-    then
-        printf c:/windows/system32/curl.exe
-        return
-    fi
-    printf curl
-)}
-
 shDirHttplinkValidate() {(set -e
 # This function will validate http-links embedded in .html and .md files.
     # init $GITHUB_BRANCH0
@@ -1294,7 +1284,7 @@ shGithubWorkflowDispatch() {(set -e
     BRANCH="$1"
     shift
     EXIT_CODE=0
-    "$(shCurlExe)" \
+    curl \
 "https://api.github.com/repos/$REPO/actions/workflows/ci.yml/dispatches" \
         -H "accept: application/vnd.github.v3+json" \
         -H "authorization: Bearer $MY_GITHUB_TOKEN" \