From 6c3c9997be92a8ebad4163bfd04044161458fc7b Mon Sep 17 00:00:00 2001
From: Alison Selby <aselby@nevion.com>
Date: Mon, 7 Sep 2020 11:15:25 +0200
Subject: [PATCH] Creates a copy of the executable on install, one with .exe
 extension and one without, across all platforms. This allows Windows
 environments to use Linux bsconfigs without changing it.

---
 .github/workflows/scripts/copy-binaries.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/scripts/copy-binaries.js b/.github/workflows/scripts/copy-binaries.js
index 5ee66aa..8eac493 100644
--- a/.github/workflows/scripts/copy-binaries.js
+++ b/.github/workflows/scripts/copy-binaries.js
@@ -32,17 +32,14 @@ if (!supported) {
 
 }
 
-if (platform === "win") {
   if (!fs.existsSync("ppx.exe")) {
     copyFileSync(filename, "ppx.exe");
     fs.chmodSync("ppx.exe", 0755);
   }
-} else {
   if (!fs.existsSync("ppx")) {
     copyFileSync(filename, "ppx");
     fs.chmodSync("ppx", 0755);
   }
-}
 
 function copyFileSync(source, dest) {
   if (typeof fs.copyFileSync === "function") {