From f7b8fb3c9781e83d6907fd196891b7b9e382190a Mon Sep 17 00:00:00 2001
From: Paul Gschwendtner <paulgschwendtner@gmail.com>
Date: Tue, 23 May 2023 14:57:42 +0000
Subject: [PATCH] build: remove unused gulp helper script (#50428)

We still seem to be having Gulp installed for the ZoneJS changelog
generation. Arguably this can be replaced with a simpler JS script,
but in either case, this commit removes an unused file from the old
Gulp task setup.

PR Close #50428
---
 tools/gulp-tasks/platform-script-path.js | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 tools/gulp-tasks/platform-script-path.js

diff --git a/tools/gulp-tasks/platform-script-path.js b/tools/gulp-tasks/platform-script-path.js
deleted file mode 100644
index f4ba1d9ccae..00000000000
--- a/tools/gulp-tasks/platform-script-path.js
+++ /dev/null
@@ -1,13 +0,0 @@
-/**
- * @license
- * Copyright Google LLC All Rights Reserved.
- *
- * Use of this source code is governed by an MIT-style license that can be
- * found in the LICENSE file at https://angular.io/license
- */
-
-// returns the script path for the current platform
-module.exports = function platformScriptPath(path) {
-  const os = require('os');
-  return /^win/.test(os.platform()) ? `${path}.cmd` : path;
-};