mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 04:57:44 +00:00
Meta: Remove useless lint-ipc-ids.sh script
This script was silently broken in commit
62af6cd4f9
.
This commit is contained in:
parent
8f65153b03
commit
3e420b7590
2 changed files with 0 additions and 20 deletions
|
@ -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 \
|
||||
|
|
|
@ -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
|
Loading…
Add table
Add a link
Reference in a new issue