From 852d99d8e2aa0aaf3ed817d5cebeb5a36956cb4a Mon Sep 17 00:00:00 2001
From: Nick Rolfe <nickrolfe@github.com>
Date: Tue, 23 Jun 2020 13:56:20 +0100
Subject: [PATCH] Call codeql.exe rather than codeql.cmd wrapper on Windows

---
 lib/setup-tools.js | 2 +-
 src/setup-tools.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/setup-tools.js b/lib/setup-tools.js
index c86581fd2..ee11fbf2c 100644
--- a/lib/setup-tools.js
+++ b/lib/setup-tools.js
@@ -20,7 +20,7 @@ class CodeQLSetup {
         if (process.platform === 'win32') {
             this.platform = 'win64';
             if (this.cmd.endsWith('codeql')) {
-                this.cmd += ".cmd";
+                this.cmd += ".exe";
             }
         }
         else if (process.platform === 'linux') {
diff --git a/src/setup-tools.ts b/src/setup-tools.ts
index 2ed64c21a..3e8f3423c 100644
--- a/src/setup-tools.ts
+++ b/src/setup-tools.ts
@@ -17,7 +17,7 @@ export class CodeQLSetup {
         if (process.platform === 'win32') {
             this.platform = 'win64';
             if (this.cmd.endsWith('codeql')) {
-                this.cmd += ".cmd";
+                this.cmd += ".exe";
             }
         } else if (process.platform === 'linux') {
             this.platform = 'linux64';