summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Wiederhake <BenWiederhake.GitHub@gmx.de>2022-09-12 23:11:54 +0200
committerBrian Gianforcaro <b.gianfo@gmail.com>2022-09-13 08:29:09 +0000
commit93b8e76133c4b00c9e074b30a04898cb74b582d9 (patch)
treec1165c3bc643bdaa4de334f724ce0f0ce3ebb410
parent616b3dc718f82e23d562249e31090c9b95dbe26c (diff)
downloadserenity-93b8e76133c4b00c9e074b30a04898cb74b582d9.zip
Meta: Remove unused and outdated check-syscall-lists.sh lint
This was apparently never used by anyone except me, and currently fails silently. The script originally allowed easy inspection of the difference between: 1. The list of declared syscalls according to Kernel/API/Syscall.h 2. The list of syscalls implemented by the UserspaceEmulator according to Userland/DevTools/UserspaceEmulator/Emulator_syscalls.cpp 3. The list of syscalls documented in Base/usr/share/man/man2/. Here's how the script could have been updated: SYSCALLS_KERNEL="$(echo 'Kernel syscalls'; echo; \ grep -Eo '^ +S\(.*, NeedsBigProcessLock::' Kernel/API/Syscall.h | \ sed -Ee 's-^ +S\((.+), .*-\1-' | sort)" SYSCALLS_UE="$(echo 'Implemented in UserspaceEmulator'; echo; \ grep -Eo '^ +case SC_.*:$' \ Userland/DevTools/UserspaceEmulator/Emulator_syscalls.cpp | \ sed -Ee 's,^ +case SC_(.*):$,\1,' | sort)" SYSCALLS_MAN2="$(echo 'Documented syscalls'; echo; \ find Base/usr/share/man/man2/ ! -type d -printf '%f\n' | \ sed -Ee 's,\.md,,' | sort)" diff --color=always \ <(echo "${SYSCALLS_KERNEL}") <(echo "${SYSCALLS_UE}") diff --color=always \ <(echo "${SYSCALLS_KERNEL}") <(echo "${SYSCALLS_MAN2}") A more readable version might be available at https://github.com/BenWiederhake/serenity/tree/historic/syscall-linting However, there seems to be no interest in the script, so it is better to remove it.
-rwxr-xr-xMeta/check-syscall-lists.sh20
1 files changed, 0 insertions, 20 deletions
diff --git a/Meta/check-syscall-lists.sh b/Meta/check-syscall-lists.sh
deleted file mode 100755
index 8dba593e4a..0000000000
--- a/Meta/check-syscall-lists.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/env bash
-
-set -eo pipefail
-
-script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
-cd "${script_path}/.."
-
-SYSCALLS_KERNEL="$(echo 'Kernel syscalls'; echo; grep -Eio '(?<=^ S\().*(?=\)( +\\)?$)' Kernel/API/Syscall.h | sort)"
-SYSCALLS_UE="$(echo 'Implemented in UserspaceEmulator'; echo; grep -Eio '(?<=^ case SC_).*(?=:$)' Userland/DevTools/UserspaceEmulator/Emulator.cpp | sort)"
-SYSCALLS_MAN2="$(echo 'Documented syscalls'; echo; find Base/usr/share/man/man2/ ! -type d -printf '%f\n' | sed -Ee 's,\.md,,' | sort)"
-
-set +e
-
-echo "ACTUAL versus UE"
-diff --color=always -u <(echo "${SYSCALLS_KERNEL}") <(echo "${SYSCALLS_UE}")
-echo
-echo "ACTUAL versus UE"
-diff --color=always -u <(echo "${SYSCALLS_KERNEL}") <(echo "${SYSCALLS_MAN2}")
-
-exit 0