From 3e420b75908d3bb4b5db9b1b530ae2652ec2d5dd Mon Sep 17 00:00:00 2001
From: Ben Wiederhake <BenWiederhake.GitHub@gmx.de>
Date: Mon, 1 Nov 2021 17:23:10 +0100
Subject: [PATCH] Meta: Remove useless lint-ipc-ids.sh script

This script was silently broken in commit
62af6cd4f9637b8937e59832f5af00f4556c496b.
---
 Meta/lint-ci.sh      |  1 -
 Meta/lint-ipc-ids.sh | 19 -------------------
 2 files changed, 20 deletions(-)
 delete mode 100755 Meta/lint-ipc-ids.sh

diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh
index c7d40972b9..2bb3bff369 100755
--- a/Meta/lint-ci.sh
+++ b/Meta/lint-ci.sh
@@ -26,7 +26,6 @@ for cmd in \
         Meta/check-newlines-at-eof.py \
         Meta/check-style.py \
         Meta/lint-executable-resources.sh \
-        Meta/lint-ipc-ids.sh \
         Meta/lint-keymaps.py \
         Meta/lint-shell-scripts.sh \
         Meta/lint-prettier.sh \
diff --git a/Meta/lint-ipc-ids.sh b/Meta/lint-ipc-ids.sh
deleted file mode 100755
index abec77e989..0000000000
--- a/Meta/lint-ipc-ids.sh
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/usr/bin/env bash
-
-set -eo pipefail
-
-script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
-cd "$script_path/.."
-
-ALL_ENDPOINTS=$(find . \( -name Toolchain -o -name Build -o -name .git -o -name Ports \) -prune -o -name '*.ipc' -print0 | xargs -0 grep -E '^endpoint ' | sort -k4 -n)
-
-BAD_ENDPOINTS=$(echo "${ALL_ENDPOINTS}" | cut -d' ' -f4 | uniq -d)
-
-if [ -n "${BAD_ENDPOINTS}" ]
-then
-    echo "This is the full list of all endpoints:"
-    echo "${ALL_ENDPOINTS}"
-    echo "These endpoint IDs are duplicated:"
-    echo "${BAD_ENDPOINTS}"
-    exit 1
-fi